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
I think the description can be clearer here. Something like "Delete all GitHub Actions caches"
7 | +permissions: 8 | + actions: write 9 | + 10 | +jobs: 11 | + clean: 12 | + name: Delete all caches
I'd use the same name here because there's really only a single job in this workflow
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
ACK a27ae1ac8344bdc54cdabb23128e33caf28d4f47
cc @hebasto
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.
Let me close this in favor of #1816.