commit | 041cf62168d89c63e144bc704b38262267630907 | [log] [tgz] |
---|---|---|
author | Tholin <luca.horn@gmx.de> | Thu Dec 08 09:52:08 2022 +0100 |
committer | GitHub <noreply@github.com> | Thu Dec 08 09:52:08 2022 +0100 |
tree | a3b2817d93b21f624f52dca0afd9557eb7d048eb | |
parent | d6129d967b43560d345cd443e7ffe7d44f9be1b5 [diff] |
Update user_project_ci.yml
diff --git a/.github/workflows/user_project_ci.yml b/.github/workflows/user_project_ci.yml index 2b8c246..6ccc12c 100644 --- a/.github/workflows/user_project_ci.yml +++ b/.github/workflows/user_project_ci.yml
@@ -1,11 +1,10 @@ name: CI -on: - # Runs on Every Push - push: - # Runs on Pull Requests - pull_request: - workflow_dispatch: +on: [ push, workflow_dispatch ] +permissions: + contents: write + pages: write + id-token: write jobs: pdk: