ci: supersede in-progress runs on push to main#1167

tcoratger merged 1 commit into

leanEthereum:mainleanEthereum/leanSpec:mainfrom

leolara:ci/supersede-stale-main-runsleolara/leanSpec:ci/supersede-stale-main-runsCopy head branch name to clipboard