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

Conversation

@mrjf

@mrjf mrjf commented Jul 10, 2026

Copy link
Copy Markdown
Contributor

Summary:

  • give Evergreen preflight PR write permission for controller-owned PR label mutations
  • avoid unnecessary readiness label edits by checking current labels first
  • make readiness and evergreen_active label failures explicitly set should_run=false instead of dispatching the agent without a lease
  • verify evergreen_active after claiming it before setting should_run=true

Validation:

  • gh aw compile evergreen --dir .github/workflows --validate --strict --approve --no-check-update --show-all
  • gh aw lint --dir .github/workflows

@mrjf mrjf merged commit 1194158 into main Jul 10, 2026
19 checks passed
@mrjf mrjf deleted the codex/fix-evergreen-active-lease branch July 10, 2026 04:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant