Skip to content

Skip already-deleted caches in PR cleanup loop - #554

Merged
nikobockerman merged 1 commit into
mainfrom
fix-pr-cache-removal-when-github-reports-already-deleted-entries
Jun 8, 2026
Merged

Skip already-deleted caches in PR cleanup loop#554
nikobockerman merged 1 commit into
mainfrom
fix-pr-cache-removal-when-github-reports-already-deleted-entries

Skip already-deleted caches in PR cleanup loop

06b1fa1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar