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.
edit: This means for this PR:
Approach NACK
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