Make locked workflow artifact names unique

goblint · Dec 15, 2023 · 1a3e008 · 1a3e008
1 parent 838a17b
commit 1a3e008
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/locked.yml b/.github/workflows/locked.yml
@@ -85,7 +85,7 @@ jobs:
       - uses: actions/upload-artifact@v4
         if: always()
         with:
-          name: suite_result
+          name: suite_result-${{ matrix.os }}
           path: tests/suite_result/
 
   extraction: