From e75ec89d81bddb728f85df4863ca2a2dda1a19c2 Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Fri, 15 Jul 2022 09:02:50 -0400
Subject: [PATCH] CI: Distinguish artifact names by GHC version

Fixes #1383.
---
 .github/workflows/ci.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7a19bab63..9a00dbbae 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -191,14 +191,14 @@ jobs:
 
       - uses: actions/upload-artifact@v2
         with:
-          name: ${{ env.NAME }}
+          name: ${{ env.NAME }} (GHC ${{ matrix.ghc-version }})
           path: "${{ env.NAME }}.tar.gz*"
           if-no-files-found: error
           retention-days: ${{ needs.config.outputs.retention-days }}
 
       - uses: actions/upload-artifact@v2
         with:
-          name: ${{ env.NAME }}-with-solvers
+          name: ${{ env.NAME }}-with-solvers (GHC ${{ matrix.ghc-version }})
           path: "${{ env.NAME }}-with-solvers.tar.gz*"
           if-no-files-found: error
           retention-days: ${{ needs.config.outputs.retention-days }}
@@ -218,7 +218,7 @@ jobs:
       - uses: actions/upload-artifact@v2
         if: runner.os == 'Windows'
         with:
-          name: ${{ env.NAME }}
+          name: ${{ env.NAME }} (GHC ${{ matrix.ghc-version }})
           path: "cryptol.msi*"
           if-no-files-found: error
           retention-days: ${{ needs.config.outputs.retention-days }}