fix workflow

Seasawher · May 10, 2024 · 91f7fff · 91f7fff
1 parent bf5cf60
commit 91f7fff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update.yaml b/.github/workflows/update.yaml
@@ -10,7 +10,7 @@ jobs:
     permissions:
       issues: write         # required to create issues
       pull-requests: write  # required to create pull requests
-      contents: read
+      contents: write
     steps:
       - name: Update Lean project
         uses:  oliver-butterley/lean-update-action@v1-alpha