Skip to content

Cancel superseded PR CI runs - #217

Merged
ChrisRackauckas merged 1 commit into
masterfrom
ci-cancel-superseded
Oct 17, 2026
Merged

Cancel superseded PR CI runs#217
ChrisRackauckas merged 1 commit into
masterfrom
ci-cancel-superseded

Cancel superseded PR CI runs

a7dcd4d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar