Skip to content

comm: beef up args checking for some comm constructors #4109

comm: beef up args checking for some comm constructors

comm: beef up args checking for some comm constructors #4109

Workflow file for this run

name: Git commit checks
# 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}}"
label:
permissions:
pull-requests: write
name: Label Pull Request
runs-on: ubuntu-latest
steps:
- name: Pull Request Labeler
uses: open-mpi/[email protected]
with:
token: "${{ secrets.GITHUB_TOKEN }}"
milestone:
permissions:
issues: write
pull-requests: write
name: Milestone Pull Request
runs-on: ubuntu-latest
steps:
- name: Pull Request Milestoner
uses: open-mpi/[email protected]
with:
token: "${{ secrets.GITHUB_TOKEN }}"