Merge #91: Cirrus: Actually clean old output files

5f015dd Cirrus: Actually clean old output files (Jeremy Rand)

Pull request description:

  Don't just do a dry-run.  Should fix the cache overflow that was affecting https://github.com/namecoin/ncdns-repro/pull/89#issuecomment-804303491 .
pull/95/head
Jeremy Rand 3 years ago
commit 4600f147c7
No known key found for this signature in database
GPG Key ID: FD7550C2EB800711

@ -79,7 +79,7 @@ fi
echo "Cleaning cache..."
rm -rfv out/container-image
if [[ "$SHOULD_BUILD" -eq 0 ]]; then
./tools/clean-old --dry-run
./tools/clean-old
fi
echo "Splitting caches..."

Loading…
Cancel
Save