Merge main into ci-priority-runner-orchestration

This commit is contained in:
Jason Ross
2026-07-03 16:04:33 -05:00
committed by GitHub
+2
View File
@@ -18,6 +18,7 @@ on:
push:
branches: [main]
pull_request:
types: [opened, reopened, ready_for_review]
branches: [main]
permissions:
@@ -39,4 +40,5 @@ jobs:
env:
GITHUB_TOKEN: ${{ secrets.AUTOUPDATE_TOKEN || secrets.GITHUB_TOKEN }}
PR_FILTER: "all"
PR_READY_STATE: "all"
MERGE_CONFLICT_ACTION: "ignore"