Skip to content

[new release] elpi (2.0.1) #5964

[new release] elpi (2.0.1)

[new release] elpi (2.0.1) #5964

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