Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Handle the fact the github actions cache does not allows updates
If there is a cache hit, there is never a save. Therefore, we need to always miss on the first use, falling back hopefully to the previous run, and then always miss on the second use as well.
- Loading branch information