use GH_TOKEN

informalsystems · Oct 10, 2024 · 3875506 · 3875506
1 parent 2a32ea5
commit 3875506
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -82,7 +82,8 @@ jobs:
 
       - name: Upload Assets to Release
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          # https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/using-github-cli-in-workflows
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
           gh release upload "${{ github.ref_name }}" \
             "quint-${{ matrix.config.suffix }}" \