diff options
Diffstat (limited to '.github/workflows/test-generate.yml')
| -rw-r--r-- | .github/workflows/test-generate.yml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.github/workflows/test-generate.yml b/.github/workflows/test-generate.yml new file mode 100644 index 000000000..ae2f7bd1f --- /dev/null +++ b/.github/workflows/test-generate.yml @@ -0,0 +1,20 @@ +name: Generate from grammar + +on: + pull_request: + types: [unlabeled, labeled, opened, synchronize, reopened] + branches: + - "main" + workflow_dispatch: + +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: ${{ github.event_name == 'pull_request' }} + +jobs: + check_compilation: + name: Build + if: contains(github.event.pull_request.labels.*.name, 'ci:generate') || github.event_name == 'workflow_dispatch' + uses: ./.github/workflows/test-core.yml + with: + type: "generate" |
