gitlab-ci: Clone haddock from its upstream repository
authorBen Gamari <ben@smart-cactus.org>
Sat, 5 Jan 2019 19:16:56 +0000 (14:16 -0500)
committerBen Gamari <ben@well-typed.com>
Mon, 7 Jan 2019 15:20:14 +0000 (10:20 -0500)
commitc0448c18946e63bf47fc7da51c9bea2ee1b1740e
tree51938561165d5d46b44c08d14fd4fdf64d4441df
parent9ea8dcea3e5ba96808ef91028e0efde9d31f7272
gitlab-ci: Clone haddock from its upstream repository

This ensures that changes requiring haddock changes can be built under CI.
.gitlab-ci.yml
.gitlab/fix-submodules.py [changed mode: 0644->0755]