Now that we're using the Github merge queue, this is required to not
let the queue hanging.
ChangeLog:
* .github/workflows/bootstrap.yml: Add missing `merge_group` trigger.
* .github/workflows/ccpp.yml: Likewise.
* .github/workflows/clang-format.yml: Likewise.
* .github/workflows/commit-format.yml: Likewise.
on:
push:
branches: [ master ]
+ merge_group:
jobs:
build:
- staging
pull_request:
branches: [ master ]
+ merge_group:
jobs:
build-and-check-ubuntu-64bit:
- staging
pull_request:
branches: [ master ]
+ merge_group:
jobs:
clang-format:
branches:
- master
- gcc-patch-dev
+ merge_group:
jobs:
check-commit-changelogs:
- name: GCC check PR Commits
run: |
- python3 contrib/gcc-changelog/git_check_commit.py origin/${{ github.event.pull_request.base.ref }}..${{ github.event.pull_request.head.sha }}
-
+ if ${{ github.event_name == 'pull_request' }}; then
+ python3 contrib/gcc-changelog/git_check_commit.py origin/${{ github.event.pull_request.base.ref }}..${{ github.event.pull_request.head.sha }}
+ fi
+
check-commit-prefixes:
runs-on: ubuntu-latest
name: check-gccrs-prefix