Ship Open MPI 4.1.6rc3 #35
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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}}" |