diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2019-03-19 11:41:19 +0100 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2019-03-19 11:45:31 +0100 |
commit | acc97e4103d7f2b0bc0a7caa4e0575047b3cf8e1 (patch) | |
tree | 28357994d6eadbeddab2cd87685fb576ac0f76f8 /.gitlab-ci.yml | |
parent | ad70e67a02d30a2605e715a77338c40b03b1d99e (diff) |
ci: Delete stale files, second try.
- Refine the access-time based deletion of stale files. Previously,
we used a fixed timespan. However, this seem to be ineffective,
either because the compression format used by the caching
mechanism didn't preserve access times, or because du modified the
access time.
- Either way, we now create a timestamp file and delete files that
have a access time older than the timestamp's modification time.
- (Hopefully) addresses #194.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7dac7625..0fbe2b41 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -7,8 +7,9 @@ test: - rustc --version - cargo --version - clang --version + - sleep 1 ; touch timestamp - SEQUOIA_CTEST_VALGRIND=/usr/bin/valgrind make test - - find target -type f -amin +60 -delete + - find target -type f -a '!' -anewer timestamp -delete - du -sh target - du -sh cargo |