Skip to content

Prefer the required CI aggregate when the local scheduler is saturated - #52

Merged
0thernet merged 1 commit into
mainfrom
clef-migration-20261004
Oct 5, 2026
Merged

0thernet merged 1 commit into
mainfrom
clef-migration-20261004

Conversation

@0thernet

@0thernet 0thernet commented Oct 5, 2026

Copy link
Copy Markdown
Member

Summary

  • Add a hraness-delivery bullet making scheduler saturation an explicit trigger for the CI aggregate path: finish focused local validation, open the pull request, and let Required run the broad suite on the PR head rather than holding a shared host lease
  • The block already named Required the final aggregate; this keeps lane-bound work (browser-auth, fixed ports, native devices, credentials, private data) local and preserves repository rules that require a local gate before pushing
  • Repository AGENTS.md copies pick this up through the existing verbatim block sync; the weekly drift check will flag repos until they adopt it

Test plan

  • Text-only AGENTS.md edit inside the synced block markers; no code, scripts, or workflow changes
  • CI Required

Generated with Devin

The hraness-delivery block already treats Required on the pull request head as the final aggregate; this makes scheduler contention an explicit trigger for that path, keeps lane-bound work local, and preserves repository rules that require a local gate.

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
@0thernet
0thernet enabled auto-merge (squash) October 5, 2026 02:36
@0thernet
0thernet merged commit 7136607 into main Oct 5, 2026
6 checks passed
@0thernet
0thernet deleted the clef-migration-20261004 branch October 5, 2026 02:37
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