Skip to content

chore: adding workflow to add issues to docs on docs needed label #1178

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
TomAFrench merged 8 commits into from
Apr 24, 2023
Merged

chore: adding workflow to add issues to docs on docs needed label #1178

Changes from 6 commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
254b807
chore: adding workflow to add issues to docs on docs needed label
signorecello Apr 19, 2023
b1bdb7c
chore: adding suggestions
signorecello Apr 19, 2023
b56aec3
chore: adding suggestions
signorecello Apr 19, 2023
bda80b5
Update .github/workflows/label_docs.yml
kevaundray Apr 19, 2023
b0de870
chore: adding suggestions
signorecello Apr 20, 2023
01a4ccf
fixing accidental reversion of the gh token
signorecello Apr 20, 2023
13d346d
Update .github/workflows/label_docs.yml
signorecello Apr 20, 2023
5087abb
pushing for CI
signorecello Apr 24, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
32 changes: 32 additions & 0 deletions .github/workflows/label_docs.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
name: CI

on:
pull_request_target:
types:
- labeled
- unlabeled

jobs:
dispatch:
runs-on: ubuntu-latest
if: github.event.label.name == 'doc needed'

steps:
- uses: actions/checkout@v3
- name: Set workflowId environment variable
id: set_workflow_id
run: |
if [[ "${{ github.event.action }}" == "labeled" ]]; then
echo "workflowId=new-migrated-issue.yml" >> $GITHUB_ENV
else
echo "workflowId=delete-migrated-issue.yml" >> $GITHUB_ENV
fi

- name: Dispatch
uses: benc-uk/workflow-dispatch@v1
with:
workflow: ${{ env.workflowId }}
repo: noir-lang/docs
ref: master
token: ${{ secrets.DOCS_REPO_TOKEN }}
inputs: '{ "pr_number": "${{ github.event.pull_request.number }}" }'