Add an explanation on how recursions are done in various proof systems #87
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Add new issues and PRs to Vac Research project boards | |
| on: | |
| issues: | |
| types: [opened] | |
| pull_request: | |
| types: [opened] | |
| jobs: | |
| add-to-project: | |
| name: Add issue to project | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/add-to-project@v0.4.0 | |
| with: | |
| # You can target a repository in a different organization to the issue | |
| project-url: https://github.com/orgs/vacp2p/projects/7 # SeM board | |
| github-token: ${{ secrets.ADD_TO_PROJECT_SEM_PAT }} | |
| labeled: ${{ vars.SEM_TRACK_LABELS }} | |
| label-operator: OR | |
| - uses: actions/add-to-project@v0.4.0 | |
| with: | |
| # You can target a repository in a different organization to the issue | |
| project-url: https://github.com/orgs/vacp2p/projects/6 # general VaC board | |
| github-token: ${{ secrets.ADD_TO_PROJECT_PAT }} | |
| labeled: ${{ vars.SEM_TRACK_LABELS }} | |
| label-operator: NOT # catch all lables not added to specific boards | |