Repository navigation

ci: concurrency cancel-in-progress + timeout-minutes on 4 long-running workflows - #115

Merged

hyperpolymath merged 2 commits into

mainfrom

chore/queue-saturation-concurrency-timeouts

May 30, 2026

Merged

ci: concurrency cancel-in-progress + timeout-minutes on 4 long-running workflows#115
hyperpolymath merged 2 commits into
mainfrom
chore/queue-saturation-concurrency-timeouts

Commits on May 30, 2026
- proof(SafeBitset): DISCHARGE singletonZeroCapRejects via 2-arm Nat case-split
  
  hyperpolymath
  and
  claude
  committed
  de9900b
- ci: concurrency cancel-in-progress + timeout-minutes on 4 long-running workflows
  
  hyperpolymath
  and
  claude
  committed
  8213212