Skip to content

CI: skip the master push run for already-tested PR merges - #73

Merged
vthorsteinsson merged 1 commit into
masterfrom
ci-skip-duplicate-runs
Oct 23, 2026
Merged

CI: skip the master push run for already-tested PR merges#73
vthorsteinsson merged 1 commit into
masterfrom
ci-skip-duplicate-runs

CI: skip the master push run for already-tested PR merges

12181e7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar