Skip to content

upstream merge 04/01/2024 #45

upstream merge 04/01/2024

upstream merge 04/01/2024 #45

Workflow file for this run

name: "Labels: PR"
on:
- pull_request_target
jobs:
labeler:
if: github.actor != 'PJBot'
permissions:
contents: read
pull-requests: write
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v5