projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 385ecf6) | patch
Add cache for new dependencies folder. (#6265)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Fri, 2 Apr 2021 21:11:52 +0000 (23:11 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Apr 2021 21:11:52 +0000 (21:11 +0000)
commitfba1437c772b6733ce678b93b5ef7d95e366c82d
tree9fac63d21f81c98e2eb6ed44e0975d6324536238tree
parent385ecf64fd4437ca15156a44b97f2001428dc1f5commit | diff
Add cache for new dependencies folder. (#6265)

This PR adds caching of the new dependencies folder build/deps/ for the CI jobs and renames the old deps folder to "auxiliary told".
Note that we need to cache the entirety of build/deps/ (instead of just the install folder for the old one), otherwise cmake will try to rebuild them. Some of the external projects remove unnecessary files in their build to reduce their footprint in the cache.
.github/workflows/ci.yml diff | blob | history