Skip to content
Snippets Groups Projects
Commit d38a12a9 authored by Ben Gamari's avatar Ben Gamari :turtle:
Browse files

gitlab-ci: Use bgamari's mirror for now

parent a42c3210
No related branches found
No related tags found
1 merge request!100Adapt for ghc-bignum
Pipeline #21245 failed
...@@ -99,7 +99,7 @@ build-8.10: ...@@ -99,7 +99,7 @@ build-8.10:
- echo "Bindist tarball is $GHC_TARBALL" - echo "Bindist tarball is $GHC_TARBALL"
- | - |
nix build \ nix build \
-f https://github.com/mpickering/ghc-artefact-nix/archive/master.tar.gz \ -f https://github.com/bgamari/ghc-artefact-nix/archive/master.tar.gz \
--argstr url $GHC_TARBALL \ --argstr url $GHC_TARBALL \
--out-link ghc \ --out-link ghc \
ghcHEAD ghcHEAD
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment