Deletes all caches on the 1st and 15th of each month.
Fixes #1691
Deletes all caches on the 1st and 15th of each month.
Fixes #1691
0@@ -0,0 +1,18 @@
1+name: Caches
7+permissions:
8+ actions: write
9+
10+jobs:
11+ clean:
12+ name: Delete all caches
Concept ACK
I’m a bit hesitant due to the actions: write permission, but I tend to think it’s okay here. This workflow doesn’t even have an input that could be attacker controlled. And actions restricts it to GitHub Actions stuff.
Fixes #1691
It’s shame that https://github.com/actions/cache does not provide an option to set a retention period explicitly.
I think we could avoid introducing a new workflow with the write permission by simply rotating the cache keys regularly. Feel free to grab a commit from this branch.
I think we could avoid introducing a new workflow with the write permission by simply rotating the cache keys regularly.
That seems cleaner indeed.
Unrelated to the changes in this PR, the current GCC snapshot has been failing self-tests since ed2924c7628343ff8b699f320a05c85bdb9c2837.
UPDATE: The issue should be fixed in a6c3c48148dd60a09ffab57019f163180c159d65.
8144225309
real-or-random
hebasto
Labels
ci