mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-08-17 18:00:52 +03:00
CI: Work around GHC installation issues on Windows (#1430)
This should avoid nasty linker errors as observed in https://gitlab.haskell.org/ghc/ghc/-/issues/21111 until the upstream tools can be fixed.
This commit is contained in:
parent
39dea16096
commit
3d4492a058
8
.github/workflows/ci.yml
vendored
8
.github/workflows/ci.yml
vendored
@ -93,6 +93,14 @@ jobs:
|
||||
with:
|
||||
ghc-version: ${{ matrix.ghc-version }}
|
||||
|
||||
- name: Post-GHC installation fixups on Windows
|
||||
shell: bash
|
||||
if: runner.os == 'Windows'
|
||||
run: |
|
||||
# A workaround for https://github.com/Mistuke/CabalChoco/issues/5
|
||||
cabal user-config update -a "extra-include-dirs: \"\""
|
||||
cabal user-config update -a "extra-lib-dirs: \"\""
|
||||
|
||||
- uses: actions/cache@v2
|
||||
name: Cache cabal store
|
||||
with:
|
||||
|
Loading…
Reference in New Issue
Block a user