Skip already-deleted caches in PR cleanup loop#554

nikobockerman merged 1 commit into

mainnikobockerman/adventofcode-solutions:mainfrom

fix-pr-cache-removal-when-github-reports-already-deleted-entriesnikobockerman/adventofcode-solutions:fix-pr-cache-removal-when-github-reports-already-deleted-entriesCopy head branch name to clipboard