projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b61070c) | patch
[GitHub Actions] Make caching of dependencies depend on image version (#6677)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 3 Jun 2021 22:26:52 +0000 (15:26 -0700)
committerGitHub <noreply@github.com>
Thu, 3 Jun 2021 22:26:52 +0000 (15:26 -0700)
commit5b0d429d1ac4288d615afccfe1eeb16e68141488
treee9b20e864e0722655fb644910c8d4906d1d8d477tree
parentb61070cf03c30abe3ba5956596b88464053ff358commit | diff
[GitHub Actions] Make caching of dependencies depend on image version (#6677)

Our Clang builds started to fail to link when the environment changed. This commit changes our CI to only use cached dependencies if the build environment has not changed.
.github/workflows/ci.yml diff | blob | history