-
Notifications
You must be signed in to change notification settings - Fork 377
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
Improve Docker caching. #650
Conversation
2faa1d2
to
5319d38
Compare
bors try |
1 similar comment
bors try |
tryBuild failed: |
5319d38
to
7536f5d
Compare
bors try |
tryBuild failed: |
bors try |
tryBuild failed: |
bors try |
tryBuild succeeded: |
it should probably just use |
bors r+ |
👎 Rejected by too few approved reviews |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
bors r+
650: Improve Docker caching. r=Emilgardis a=reitermarkus Also use pushed images as cache. Co-authored-by: Markus Reiter <[email protected]>
Build failed: |
lets try again bors r+ |
650: Improve Docker caching. r=Emilgardis a=reitermarkus Also use pushed images as cache. Co-authored-by: Markus Reiter <[email protected]>
Build failed: |
these spurious errors are strange bors r+ |
650: Improve Docker caching. r=Emilgardis a=reitermarkus Also use pushed images as cache. Co-authored-by: Markus Reiter <[email protected]>
Build failed: |
bors retry |
650: Improve Docker caching. r=Emilgardis a=reitermarkus Also use pushed images as cache. Co-authored-by: Markus Reiter <[email protected]>
Canceled. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
bors r+
Build succeeded: |
Also use pushed images as cache.