GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-27 11:13:48 +03:00
Code Issues Projects Releases Wiki Activity

Use not-yet-upstreamed setup-haskell fix

Browse Source
This commit is contained in:
Jared Weakly 2020-06-09 10:22:53 -07:00
parent ac8f4c88de
commit 237730c0eb
2 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/build.yml vendored
View File

@ -29,7 +29,8 @@ jobs:
with:
submodules: true
- uses: actions/setup-haskell@v1.1
# - uses: actions/setup-haskell@v1.1
- uses: haskell-CI/setup@master
id: setup-haskell
with:
ghc-version: ${{ matrix.ghc }}

7
.github/workflows/nightly.yml vendored
View File

@ -54,6 +54,7 @@ jobs:
submodules: true
- uses: actions/setup-haskell@v1.1
- uses: haskell-CI/setup@master
with:
ghc-version: "8.8"
@ -63,11 +64,7 @@ jobs:
name: docs
- shell: bash
# path stuff is a temporary workaround until setup-haskell is fixed.
run: |
export PATH=~/.ghcup/ghc/8.8.3/bin:$PATH
echo "::set-env name=PATH::$PATH"
.github/ci.sh build
run: .github/ci.sh build
- shell: bash
run: .github/ci.sh setup_dist_bins