Remove unnecessary qsort operation #4160
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: 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 }}" |