File tree Expand file tree Collapse file tree 1 file changed +4
-7
lines changed Expand file tree Collapse file tree 1 file changed +4
-7
lines changed Original file line number Diff line number Diff line change @@ -29,13 +29,10 @@ jobs:
29
29
with :
30
30
ref : ci/ghc-head
31
31
submodules : true
32
- - name : Install ghcup
33
- run : |
34
- curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
35
- ghcup install cabal latest
36
- ghcup set cabal latest
37
- ghcup --url-source https://ghc.gitlab.haskell.org/ghcup-metadata/ghcup-nightlies-0.0.7.yaml install ghc latest-nightly
38
- ghcup --url-source https://ghc.gitlab.haskell.org/ghcup-metadata/ghcup-nightlies-0.0.7.yaml set ghc latest-nightly
32
+ - uses : haskell-actions/setup@v2
33
+ with :
34
+ ghc-version : latest-nightly
35
+ ghcup-release-channel : " https://ghc.gitlab.haskell.org/ghcup-metadata/ghcup-nightlies-0.0.7.yaml"
39
36
- name : Install z3
40
37
run : |
41
38
curl -OL https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-x64-ubuntu-16.04.zip
You can’t perform that action at this time.
0 commit comments