diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-01-05 14:16:56 -0500 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2019-01-07 10:20:14 -0500 |
commit | c0448c18946e63bf47fc7da51c9bea2ee1b1740e (patch) | |
tree | 51938561165d5d46b44c08d14fd4fdf64d4441df /.gitlab-ci.yml | |
parent | 9ea8dcea3e5ba96808ef91028e0efde9d31f7272 (diff) | |
download | haskell-c0448c18946e63bf47fc7da51c9bea2ee1b1740e.tar.gz |
gitlab-ci: Clone haddock from its upstream repository
This ensures that changes requiring haddock changes can be built under CI.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a18757b3dc..67b28305f0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -119,7 +119,7 @@ validate-x86_64-darwin: LANG: "en_US.UTF-8" before_script: - git clean -xdf && git submodule foreach git clean -xdf - - python .gitlab/fix-submodules.py + - python3 .gitlab/fix-submodules.py - git submodule sync --recursive - git submodule update --init --recursive - git checkout .gitmodules |