Merge pull request #1885 from GaloisInc/T1884

Fix two minor CI artifact issues discovered during SAW 1.0 release
GaloisInc · Jun 30, 2023 · 4a695fb · 4a695fb
2 parents 33b0d87 + 949ab0c
commit 4a695fb
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -67,7 +67,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-22.04, macos-12, windows-latest]
+        os: [ubuntu-22.04, macos-12, windows-2019]
         cabal: ["3.10.1.0"]
         ghc: ["8.10.7", "9.2.7", "9.4.4"]
         run-tests: [true]
@@ -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 }}
@@ -372,15 +372,15 @@ jobs:
             os: macos-12
             continue-on-error: true  # https://github.com/GaloisInc/saw-script/issues/1135
           - suite: integration_tests
-            os: windows-latest
+            os: windows-2019
             timeout-minutes: 60
             continue-on-error: true  # https://github.com/GaloisInc/saw-script/issues/1135
         exclude:
           - suite: integration_tests
             os: macos-12
             continue-on-error: false
           - suite: integration_tests
-            os: windows-latest
+            os: windows-2019
             continue-on-error: false
     steps:
       - uses: actions/checkout@v2