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.errors.NotFound #587

Merged
merged 2 commits into from
Jun 18, 2024
Merged

fix docker.errors.NotFound #587

merged 2 commits into from
Jun 18, 2024

Conversation

klieret
Copy link
Member

@klieret klieret commented Jun 18, 2024

No description provided.

@klieret klieret force-pushed the fix-docker-errors-not-found branch from d4f980f to 29a58fe Compare June 18, 2024 22:13
@klieret klieret changed the title fix docker errors not found fix docker.errors.NotFound Jun 18, 2024
Copy link

codecov bot commented Jun 18, 2024

Codecov Report

Attention: Patch coverage is 60.00000% with 2 lines in your changes missing coverage. Please review.

Project coverage is 76.11%. Comparing base (b72abc7) to head (d4f980f).

Current head d4f980f differs from pull request most recent head 29a58fe

Please upload reports for the commit 29a58fe to get more accurate results.

Files Patch % Lines
sweagent/environment/swe_env.py 33.33% 2 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #587      +/-   ##
==========================================
- Coverage   76.16%   76.11%   -0.05%     
==========================================
  Files          21       21              
  Lines        3293     3295       +2     
==========================================
  Hits         2508     2508              
- Misses        785      787       +2     

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

@klieret klieret merged commit 077fdc4 into main Jun 18, 2024
5 checks passed
@klieret klieret deleted the fix-docker-errors-not-found branch June 18, 2024 22:21
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.

1 participant