wip

FStarLang · May 14, 2024 · 45fd9ba · 45fd9ba
1 parent ef4a191
commit 45fd9ba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -51,7 +51,7 @@ jobs:
     runs-on: ubuntu-latest
     environment: vsm-deploy
 
-    permissions: write-all
+    # permissions: write-all
 
     steps:
       - name: Checkout