Skip to content

Housekeeping 08.2023 #218

Housekeeping 08.2023

Housekeeping 08.2023 #218

Workflow file for this run

name: "PR label assigner"
on:
workflow_dispatch:
pull_request:
branches:
- master
pull_request_target:
branches:
- master
jobs:
triage:
permissions:
checks: write
contents: read
pull-requests: write
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@ac9175f8a1f3625fd0d4fb234536d26811351594
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
sync-labels: true