Skip to content

Update apt-get before apt-get install#137

Merged
sloede merged 1 commit intomainfrom
update-apt-get
Oct 16, 2023
Merged

Update apt-get before apt-get install#137
sloede merged 1 commit intomainfrom
update-apt-get

Conversation

@benegee
Copy link
Collaborator

@benegee benegee commented Oct 16, 2023

@benegee benegee changed the title update apt-get before apt-get install Update apt-get before apt-get install Oct 16, 2023
@benegee benegee requested a review from sloede October 16, 2023 05:57
Copy link
Member

@sloede sloede left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@sloede sloede enabled auto-merge (squash) October 16, 2023 05:58
@codecov
Copy link

codecov bot commented Oct 16, 2023

Codecov Report

All modified lines are covered by tests ✅

Comparison is base (a48ab8a) 98.05% compared to head (9b6578e) 98.05%.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #137   +/-   ##
=======================================
  Coverage   98.05%   98.05%           
=======================================
  Files          13       13           
  Lines         565      565           
=======================================
  Hits          554      554           
  Misses         11       11           
Flag Coverage Δ
unittests 98.05% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@sloede sloede disabled auto-merge October 16, 2023 06:31
@sloede sloede merged commit 4a902f1 into main Oct 16, 2023
@sloede sloede deleted the update-apt-get branch October 16, 2023 06:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants