duplicate names

dafny-lang · Oct 4, 2024 · 7cfcea2 · 7cfcea2
1 parent eb52140
commit 7cfcea2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/reusable-tests.yml b/.github/workflows/reusable-tests.yml
@@ -47,6 +47,6 @@ jobs:
 
       - uses: actions/upload-artifact@v4  # upload test results
         with:
-          name: verification-results
+          name: verification-results-${{ inputs.dafny-version }}
           path: '**/TestResults/*.trx'
           if-no-files-found: error