Name standalone versions and fix glob on Win

Mirror python version naming of first python version, then os
JasonGross · Oct 20, 2023 · 8d19f4e · 8d19f4e
1 parent 88e53a8
commit 8d19f4e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/standalone.yml b/.github/workflows/standalone.yml
@@ -53,11 +53,11 @@ jobs:
     - name: Upload standalone
       uses: actions/upload-artifact@v3
       with:
-        name: standalone
+        name: standalone-${{ matrix.python-version }}-${{ matrix.os }}
         path: |
-          dist/coq-bug-minimizer/coq-bug-minimizer
-          dist/coq-import-inliner/coq-import-inliner
-          dist/coq-require-minimizer/coq-require-minimizer
+          dist/coq-bug-minimizer/coq-bug-minimizer*
+          dist/coq-import-inliner/coq-import-inliner*
+          dist/coq-require-minimizer/coq-require-minimizer*
     - run: dist/coq-bug-minimizer/coq-bug-minimizer -h
     - run: dist/coq-import-inliner/coq-import-inliner -h
     - run: dist/coq-require-minimizer/coq-require-minimizer -h