mirror of
https://github.com/pybind/pybind11.git
synced 2024-11-13 17:13:53 +00:00
16 lines
341 B
YAML
16 lines
341 B
YAML
name: PR merged
|
|
on:
|
|
pull_request:
|
|
types: [closed]
|
|
|
|
jobs:
|
|
label-merged:
|
|
name: Changelog needed
|
|
runs-on: ubuntu-latest
|
|
if: github.event.pull_request.merged == true
|
|
steps:
|
|
- uses: actions/labeler@main
|
|
with:
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
|
configuration-path: .github/labeler_merged.yml
|