Merge pull request #7 from johndoe6345789/codex/convert-to-enterprise-gated-tree-workflow

Support enterprise merge queue gating
This commit is contained in:
2025-12-27 04:12:31 +00:00
committed by GitHub

View File

@@ -5,6 +5,15 @@ on:
branches: [ main ]
pull_request:
branches: [ main ]
merge_group:
branches: [ main ]
permissions:
contents: read
concurrency:
group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref }}
cancel-in-progress: true
jobs:
build-and-test: