2 Commits

Author	SHA1	Message	Date
Rémi Verschelde	1e5b075f48	CI: Set explicit write permission for cache cleanup token	2025-03-16 09:23:18 +01:00
Rémi Verschelde	fd96ba48c6	CI: Add workflow to cleanup PR caches when closed ... This is pretty much copied from the GitHub Actions documentation: https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/caching-dependencies-to-speed-up-workflows#force-deleting-cache-entries	2025-03-13 16:54:44 +01:00