ci: prune pr-build/* branches for closed PRs on trunk pushes#496
Closed
jkmassel wants to merge 1 commit into
Closed
ci: prune pr-build/* branches for closed PRs on trunk pushes#496jkmassel wants to merge 1 commit into
pr-build/* branches for closed PRs on trunk pushes#496jkmassel wants to merge 1 commit into
