Skip to content

Fail closed when Evergreen lease labels fail#418

Merged
mrjf merged 1 commit into
mainfrom
codex/fix-evergreen-active-lease
Jul 10, 2026
Merged

Fail closed when Evergreen lease labels fail#418
mrjf merged 1 commit into
mainfrom
codex/fix-evergreen-active-lease