Repository navigation

ci: end a scheduled run when master has not moved since the last run - #50

Merged

jddunn merged 2 commits into

ci/skip-unchanged-scheduled-runs

Nov 11, 2026

Merged

ci: end a scheduled run when master has not moved since the last run#50
jddunn merged 2 commits into
masterfrom
ci/skip-unchanged-scheduled-runs

Commits on Nov 11, 2026
- ci: end a scheduled run when master has not moved since the last run
  jddunn
  committed
  650b14b
- ci: run a re-run or a failed skip check, and read 100 earlier runs
  jddunn
  committed
  8b65740