Skip to content

Merge branch 'develop' into develop #633

Merge branch 'develop' into develop

Merge branch 'develop' into develop #633

Workflow file for this run

name: "Pull Request Labeler"
on:
pull_request:
push:
branches:
- develop
jobs:
triage:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v4
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"