update

Beluga-lang · Sep 10, 2024 · 1f6227b · 1f6227b
1 parent a8d4a93
commit 1f6227b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci_build.yaml b/.github/workflows/ci_build.yaml
@@ -22,6 +22,9 @@ jobs:
   wf:
     name: Completeness of _CoqProject
     runs-on: ubuntu-latest
+    permissions:
+      packages: write
+      contents: write
     steps:
       - name: repo checkout
         uses: actions/checkout@v4