-
Notifications
You must be signed in to change notification settings - Fork 15
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
Updated caching for CI CIRCT build #661
Conversation
The Tests/build reported the following, so attempts are at least made to save the build. Failed to save: Unable to reserve cache with key Linux-circt-2dc8240d91a0f993d616b152aa4d7520156862fe, another job may be creating this cache. More details: Cache already exists. Scope: refs/pull/661/merge, Key: Linux-circt-2dc8240d91a0f993d616b152aa4d7520156862fe, Version: 238d06c864bc65ace87e9f10bc2b1cb6c325b420ebcb72aafc883eb2332e7ee7 |
@sjalander In the logs, it says that it successfully restored the cache, but then it goes ahead and builds CIRCT anyway. Is it not the point that if we have a cache hit, that we can avoid the rebuilding of CIRCT? |
It's now fixed. |
The 'save-always: true' option is deprecated.
This version should have the advantage that even if the CI fails at a later step, the build should have already been saved and not require to be rebuilt when a fix is pushed.