Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: update debian os release (8->11) #123

Merged
merged 10 commits into from
Nov 3, 2022
Merged

Conversation

0xMRTT
Copy link
Contributor

@0xMRTT 0xMRTT commented Nov 3, 2022

No description provided.

@s34m
Copy link
Member

s34m commented Nov 3, 2022

Could you set this PR to merge with the bug-fix branch.

@codecov
Copy link

codecov bot commented Nov 3, 2022

Codecov Report

❗ No coverage uploaded for pull request base (bug-fixes@6232f5e). Click here to learn what that means.
The diff coverage is n/a.

@@             Coverage Diff             @@
##             bug-fixes    #123   +/-   ##
===========================================
  Coverage             ?   3.36%           
===========================================
  Files                ?      28           
  Lines                ?    3300           
  Branches             ?       0           
===========================================
  Hits                 ?     111           
  Misses               ?    3189           
  Partials             ?       0           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@0xMRTT 0xMRTT changed the base branch from master to bug-fixes November 3, 2022 09:51
@0xMRTT
Copy link
Contributor Author

0xMRTT commented Nov 3, 2022

ofc

@s34m s34m merged commit 0a2f9ae into topgrade-rs:bug-fixes Nov 3, 2022
s34m pushed a commit that referenced this pull request Nov 3, 2022
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.

3 participants