diff options
Diffstat (limited to '3rdparty/pybind11/.github/workflows/labeler.yml')
| -rw-r--r-- | 3rdparty/pybind11/.github/workflows/labeler.yml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/3rdparty/pybind11/.github/workflows/labeler.yml b/3rdparty/pybind11/.github/workflows/labeler.yml new file mode 100644 index 00000000..d2b59796 --- /dev/null +++ b/3rdparty/pybind11/.github/workflows/labeler.yml @@ -0,0 +1,16 @@ +name: Labeler +on: + pull_request_target: + types: [closed] + +jobs: + label: + name: Labeler + runs-on: ubuntu-latest + steps: + + - uses: actions/labeler@main + if: github.event.pull_request.merged == true + with: + repo-token: ${{ secrets.GITHUB_TOKEN }} + configuration-path: .github/labeler_merged.yml |