Forgot to add GitHub token to CI

CakeML · Mar 6, 2023 · e3f32a1 · e3f32a1
1 parent 189d215
commit e3f32a1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/pure.yml b/.github/workflows/pure.yml
@@ -185,6 +185,8 @@ jobs:
         echo "CakeML checkout: CakeML/CakeML@$(git rev-parse --short HEAD)" >> $COMMITS
 
     - name: Create GitHub release
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: |
         cd pure
         gh release create ${{ env.VERSION }} --latest --prerelease -F ${{ env.COMMITS }} compiler/binary/pure.S