Use $GITHUB_RUN_NUMBER

3 years ago · 7c6ceb9312
parent caad51fda1
commit 7c6ceb9312
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@ -67,7 +67,7 @@ jobs:
           echo "usbspeed=full sounddev=sndpwm" > sdcard/cmdline.txt
           cd sdcard
           cp ../kernels/* . || true
-           zip -r ../MiniDexed_$(date +%Y-%m-%d).zip *
+           zip -r ../MiniDexed_$GITHUB_RUN_NUMBER_$(date +%Y-%m-%d).zip *
    - name: Upload to GitHub Releases (only when building from main branch)
      if: ${{ github.ref == 'refs/heads/main' }}
      run: |