Skip to content

ci: cancel superseded PR runs of Lean Action CI - #908

Open
jessealama wants to merge 2 commits into
leanprover:mainfrom
jessealama:ci/lean-action-concurrency
Open

ci: cancel superseded PR runs of Lean Action CI#908
jessealama wants to merge 2 commits into
leanprover:mainfrom
jessealama:ci/lean-action-concurrency

ci: use a unique concurrency group instead of conditional cancel-in-p…

29b08cf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 16, 2026 in 2s