Toolchain upgrade workflow: fix de-duplicating issues (model-checking…

…#2749)
tautschnig · Sep 8, 2023 · c8266bf · c8266bf
1 parent 18ea9e9
commit c8266bf
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/toolchain-upgrade.yml b/.github/workflows/toolchain-upgrade.yml
@@ -27,13 +27,14 @@ jobs:
           os: ubuntu-22.04
 
       - name: Update toolchain config
+        env:
+          GH_TOKEN: ${{ github.token }}
         run: |
           current_toolchain_date=$(grep ^channel rust-toolchain.toml | sed 's/.*nightly-\(.*\)"/\1/')
           echo "current_toolchain_date=$current_toolchain_date" >> $GITHUB_ENV
           current_toolchain_epoch=$(date --date $current_toolchain_date +%s)
           next_toolchain_date=$(date --date "@$(($current_toolchain_epoch + 86400))" +%Y-%m-%d)
           echo "next_toolchain_date=$next_toolchain_date" >> $GITHUB_ENV
-          GH_TOKEN=${{ github.token }}
           if gh issue list -S \
               "Toolchain upgrade to nightly-$next_toolchain_date failed" \
               --json number,title | grep title ; then