Commit a012ac65 authored by Andrey Mokhov's avatar Andrey Mokhov
Browse files

Merge pull request #142 from quchen/clone-from-github

CI: Shallow clone GHC from Github instead of
parents f8660c80 c43d07d9
......@@ -39,7 +39,12 @@ install:
- alex --version
- happy --version
- travis_retry git clone git:// --recurse-submodules
- git config --global url."git://".insteadOf git://
- git config --global url."".insteadOf
- git config --global url."".insteadOf
- git config --global url."ssh://".insteadOf ssh://
- git config --global url."".insteadOf
- travis_retry git clone --recurse-submodules --depth 1
# Travis clones the project into ".", but we need it as a child directory
# of "ghc/". For this reason, we - rather hackily - move the GHC-Shake
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment