adding workflow dispatch and id tokens

robertfmurdock · May 30, 2023 · 086797d · 086797d
1 parent 7cce048
commit 086797d
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -5,6 +5,10 @@ on:
       - '**'
     tags-ignore:
       - '**'
+  workflow_dispatch:
+permissions:
+  id-token: write
+  contents: write
 jobs:
   build-job:
     name: "Build"

diff --git a/.idea/workspace.xml b/.idea/workspace.xml