diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-02 23:11:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-02 21:11:52 +0000 |
commit | fba1437c772b6733ce678b93b5ef7d95e366c82d (patch) | |
tree | 9fac63d21f81c98e2eb6ed44e0975d6324536238 /CONTRIBUTING.md | |
parent | 385ecf64fd4437ca15156a44b97f2001428dc1f5 (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.
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions