gha: build: use run_attempt

iterative · Dec 6, 2023 · a299934 · a299934
1 parent f691c4d
commit a299934
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -338,11 +338,11 @@ jobs:
         shell: bash
         run: |
           ./scripts/ci/gen_html.sh
-          mv html/index.html html/run_${{ github.run_id }}.html
+          mv html/index.html html/run_${{ github.run_id }}_${{ github.run_attempt }}.html
 
       - name: copy to the frontpage
         if: ${{ github.event_name == 'schedule' }}
-        run: cp html/run_${{ github.run_id }}.html html/index.html
+        run: cp html/run_${{ github.run_id }}_${{ github.run_attempt }}.html html/index.html
 
       - name: post comment
         env: