ci fixes

eric-wieser · Oct 11, 2023 · a1e552e · a1e552e
1 parent acc285e
commit a1e552e
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.github/workflows/lean_build.yml b/.github/workflows/lean_build.yml
@@ -1,6 +1,12 @@
 on:
-  pull_request:
   push:
+  pull_request:
+
+permissions:
+  contents: write
+  pages: write
+  id-token: write
+
 
 name: ci