mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-03 18:22:58 +03:00
CI: Disambiguate Windows MSI installer name
Previously, this Windows MSI installer was lumped into the same artifact name as the general Windows binary distribution (e.g., `cryptol-3.2.0.99-windows-2019-X64 (GHC 9.4.8)`). As of `v4` of GitHub Actions' `upload-artifact`, however, it is an error to have two separate `upload-artifact` steps share the same artifact name. As such, we have to disambiguate the Windows installer artifact, which this patch accomplishes.
This commit is contained in:
parent
6d2fa0e2a0
commit
59c7e4fdbc
2
.github/workflows/ci.yml
vendored
2
.github/workflows/ci.yml
vendored
@ -244,7 +244,7 @@ jobs:
|
||||
- uses: actions/upload-artifact@v4
|
||||
if: runner.os == 'Windows'
|
||||
with:
|
||||
name: ${{ env.NAME }} (GHC ${{ matrix.ghc-version }})
|
||||
name: Windows MSI installer (GHC ${{ matrix.ghc-version }})
|
||||
path: "cryptol.msi*"
|
||||
if-no-files-found: error
|
||||
retention-days: ${{ needs.config.outputs.retention-days }}
|
||||
|
Loading…
Reference in New Issue
Block a user