Skip to content

Chore/fix build

Chore/fix build #17

name: Add New Issue or PR to Project
on:
issues:
types: [opened]
pull_request:
types: [opened]
jobs:
add_to_project:
runs-on: ubuntu-latest
steps:
- name: Add issue to project
if: github.event_name == 'issues'
uses: actions/[email protected]
with:
project-url: https://github.com/orgs/ls1intum/projects/75
github-token: ${{ secrets.ADD_TO_PROJECT_PAT }}
- name: Add pull request to project
if: github.event_name == 'pull_request'
uses: actions/[email protected]
with:
project-url: https://github.com/orgs/ls1intum/projects/75
github-token: ${{ secrets.ADD_TO_PROJECT_PAT }}