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 docker build #315

Merged
merged 1 commit into from
Jul 25, 2023
Merged

Fix docker build #315

merged 1 commit into from
Jul 25, 2023

Conversation

jchristgit
Copy link
Collaborator

This should also fix CI.

This should also fix CI.
@codecov
Copy link

codecov bot commented Jul 25, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (54bde74) 96.85% compared to head (4adc42c) 96.85%.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #315   +/-   ##
=======================================
  Coverage   96.85%   96.85%           
=======================================
  Files         113      113           
  Lines        5245     5245           
  Branches      281      281           
=======================================
  Hits         5080     5080           
  Misses        133      133           
  Partials       32       32           

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

@thebeanogamer thebeanogamer enabled auto-merge (squash) July 25, 2023 21:27
@jchristgit jchristgit disabled auto-merge July 25, 2023 21:27
@thebeanogamer thebeanogamer merged commit 75a1688 into master Jul 25, 2023
6 checks passed
@thebeanogamer thebeanogamer deleted the fix-build branch July 25, 2023 21:27
0xAda pushed a commit that referenced this pull request Sep 26, 2024
This should also fix CI.
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