Skip to content

mark v4.0.x retired #86

mark v4.0.x retired

mark v4.0.x retired #86

Workflow file for this run

name: GitHub Action CI
# We're using pull_request_target here instead of just pull_request so that the
# action runs in the context of the base of the pull request, rather than in the
# context of the merge commit. For more detail about the differences, see:
# https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target
on:
pull_request_target:
# We don't need this to be run on all types of PR behavior
# See https://docs.github.com/en/actions/reference/events-that-trigger-workflows#pull_request
types:
- opened
- synchronize
- edited
permissions: {} # none
jobs:
check:
permissions:
pull-requests: write
name: Check Commits
runs-on: ubuntu-latest
steps:
- name: Pull Request Commit Checker
uses: open-mpi/[email protected]
with:
token: "${{ secrets.GITHUB_TOKEN}}"