Skip to content

Fix leaderboard workflow: rename secret to GIT_PAT, add schedule trigger, fix push permissions #12

Fix leaderboard workflow: rename secret to GIT_PAT, add schedule trigger, fix push permissions

Fix leaderboard workflow: rename secret to GIT_PAT, add schedule trigger, fix push permissions #12

Workflow file for this run

name: Labeler
on:
pull_request_target:
permissions:
contents: read
pull-requests: write
jobs:
label:
runs-on: ubuntu-latest
steps:
- name: Apply labels
uses: actions/labeler@v5
with:
repo-token: ${{ secrets.GIT_PAK }}