Skip to content

chore: clean up JS dependencies #5425

chore: clean up JS dependencies

chore: clean up JS dependencies #5425

Workflow file for this run

name: "Labeler"
on:
pull_request_target:
types:
- opened
- reopened
- edited
permissions:
pull-requests: write
contents: read
jobs:
triage:
runs-on: ubuntu-latest
steps:
- name: Label pull request
# We can switch hash to release number once it is tagged
uses: github/issue-labeler@6ae80f5cf189fd96d96a4a4125c60e87cba0578d
id: issue-labeler
with:
repo-token: ${{ secrets.GITHUB_TOKEN }}
configuration-path: .github/labeler.yml
enable-versioned-regex: 0
sync-labels: 1
- name: Create documentation issue
if: ${{ steps.issue-labeler.outputs.labels-added }}
uses: benc-uk/workflow-dispatch@v1
with:
workflow: new-migrated-issue.yml
repo: noir-lang/docs
ref: master
token: ${{ secrets.DOCS_REPO_TOKEN }}
inputs: '{ "pr-number": "${{ github.event.pull_request.number }}" }'
- name: Close documentation issue
if: ${{ steps.issue-labeler.outputs.labels-removed }}
uses: benc-uk/workflow-dispatch@v1
with:
workflow: delete-migrated-issue.yml
repo: noir-lang/docs
ref: master
token: ${{ secrets.DOCS_REPO_TOKEN }}
inputs: '{ "pr-number": "${{ github.event.pull_request.number }}" }'