Commit graph

1 commit

Author SHA1 Message Date
mmetc c3c2608947
CI: Remove cache entries when closing a PR (#2289)
This should reduce overall cache occupation and thrashing
2023-06-19 11:30:56 +02:00