summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-03-21 12:59:11 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-03-22 10:08:38 -0400
commit366f1c68c1b688baab61934eee62c5a7992db525 (patch)
tree7c8657f99084eca96eb3be14498b41125b325ea7
parentdbe4557f0cfb863b1e6267a0f6a6e6d2cf10430a (diff)
downloadhaskell-366f1c68c1b688baab61934eee62c5a7992db525.tar.gz
gitlab: Deploy documentation snapshot via GitLab Pages
-rw-r--r--.gitlab-ci.yml21
1 files changed, 21 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8e5e7f7ce1..ee0543a078 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,6 +18,7 @@ stages:
- cleanup # See Note [Cleanup on Windows]
- packaging # Source distribution, etc.
- hackage # head.hackage testing
+ - deploy # push documentation
.only-default: &only-default
only:
@@ -718,3 +719,23 @@ nightly-hackage:
only:
variables:
- $NIGHTLY
+
+pages:
+ stage: deploy
+ dependencies:
+ - doc-tarball
+ image: ghcci/x86_64-linux-deb9:0.2
+ tags:
+ - x86_64-linux
+ script:
+ - mkdir -p public/doc
+ - tar -xf haddock.html.tar.xz -C public/doc
+ - tar -xf libraries.html.tar.xz -C public/doc
+ - tar -xf users_guide.html.tar.xz -C public/doc
+ - cp -f index.html public/doc
+ only:
+ - master
+ artifacts:
+ paths:
+ - public
+