Skip to content

merge queue: embarking main (8974410) and #2250 together #5153

merge queue: embarking main (8974410) and #2250 together

merge queue: embarking main (8974410) and #2250 together #5153

name: "Semantic Pull Request"
permissions: read-all
on:
pull_request_target:
types:
- opened
- edited
- synchronize
jobs:
semantic-pull-request:
timeout-minutes: 5
runs-on: ubuntu-latest
steps:
- uses: amannn/action-semantic-pull-request@v5
if: ${{ !startsWith(github.head_ref, 'mergify/merge-queue/') }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}