Skip to content

Cancel superseded PR CI runs - #175

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

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

Cancel superseded PR CI runs

d30a438
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar