build(deps): bump Externals/sse2neon from de0538f
to 42c7047
#1267
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: "Pull Request Labeler" | |
on: | |
pull_request_target: | |
pull_request_review: | |
types: submitted | |
permissions: | |
contents: read | |
pull-requests: write | |
jobs: | |
labeler: | |
runs-on: ubuntu-latest | |
steps: | |
- name: on new pull request | |
if: ${{ github.event_name == 'pull_request_target' && github.event.pull_request.opened == true || github.event.pull_request.reopened == true }} | |
uses: actions/[email protected] | |
with: | |
repo-token: "${{ secrets.GITHUB_TOKEN }}" | |
configuration-path: .github/labeler_on_new_pr.yml | |
- name: on any pull request | |
if: ${{ github.event_name == 'pull_request_target' }} | |
uses: actions/[email protected] | |
with: | |
repo-token: "${{ secrets.GITHUB_TOKEN }}" | |
configuration-path: .github/labeler.yml | |
- name: on pull request approval | |
if: ${{ github.event_name == 'pull_request_review' && github.event.review.state == 'approved' }} | |
uses: actions/[email protected] | |
with: | |
repo-token: "${{ secrets.GITHUB_TOKEN }}" | |
configuration-path: .github/labeler_on_pr_approved.yml | |
- name: on pull request merged | |
if: ${{ github.event_name == 'pull_request_target' && github.event.pull_request.merged == true }} | |
uses: actions/[email protected] | |
with: | |
repo-token: "${{ secrets.GITHUB_TOKEN }}" | |
configuration-path: .github/labeler_on_pr_merged.yml |