CI: Put solver bindists in separate artifact from non-solver bindists

Fixes #1884.
GaloisInc · Jun 28, 2023 · 1df6b0a · 1df6b0a
1 parent 6d5c23b
commit 1df6b0a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -193,7 +193,7 @@ jobs:
       - if: matrix.ghc == '8.10.7'
         uses: actions/upload-artifact@v2
         with:
-          name: ${{ steps.config.outputs.name }} (GHC ${{ matrix.ghc }})
+          name: ${{ steps.config.outputs.name }}-with-solvers (GHC ${{ matrix.ghc }})
           path: "${{ steps.config.outputs.name }}-with-solvers.tar.gz*"
           if-no-files-found: error
           retention-days: ${{ needs.config.outputs.retention-days }}