some more CI

imandra-ai · Jan 4, 2024 · 82c90a9 · 82c90a9
1 parent 6cd22ea
commit 82c90a9
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -4,6 +4,12 @@ on:
   pull_request:
     branches:
       - main
+
+permissions:
+  id-token: write
+  contents: read
+  statuses: write
+
 jobs:
   run:
     name: build