Skip to content

[new release] elpi (2.0.2) #6000

[new release] elpi (2.0.2)

[new release] elpi (2.0.2) #6000

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) }}