Skip to content

release pa_ppx 0.15 w/Camlp5 8.03.00, ocaml 5.2 compatibility #4010

release pa_ppx 0.15 w/Camlp5 8.03.00, ocaml 5.2 compatibility

release pa_ppx 0.15 w/Camlp5 8.03.00, ocaml 5.2 compatibility #4010

Workflow file for this run

name: Remove Label
on:
issue_comment:
types: [created]
jobs:
remove_label:
if: ${{ !contains(fromJSON(vars.MAINTAINERS), github.event.comment.user.login) && contains(github.event.issue.labels.*.name, fromJSON(vars.LABEL_TO_REMOVE)) }}
runs-on: ubuntu-latest
steps:
- uses: actions-ecosystem/action-remove-labels@v1
with:
labels: ${{ fromJSON(vars.LABEL_TO_REMOVE) }}