diff options
author | Ben Gamari <ben@well-typed.com> | 2019-04-13 09:31:41 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-04-17 10:58:05 -0400 |
commit | d44f54aa8f0125f209637fa9e26a8968dbb31d8b (patch) | |
tree | cb0109b9b396f6d2fd376627203d10c3a80b704f | |
parent | d127dc131c070e90e93ea265c95601a2fb851920 (diff) | |
download | haskell-d44f54aa8f0125f209637fa9e26a8968dbb31d8b.tar.gz |
gitlab: Remove doc-tarball job
-rw-r--r-- | .gitlab-ci.yml | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9f576bb3e4..4cef3d9349 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -636,28 +636,6 @@ cleanup-darwin: # Packaging ############################################################ -doc-tarball: - <<: *only-default - stage: packaging - tags: - - x86_64-linux - image: ghcci/x86_64-linux-deb9:0.2 - dependencies: - - validate-x86_64-linux-deb9 - - validate-x86_64-windows - artifacts: - paths: - - haddock.html.tar.xz - - libraries.html.tar.xz - - users_guide.html.tar.xz - - index.html - - "*.pdf" - script: - - rm -Rf docs - - bash -ex distrib/mkDocs/mkDocs ghc-x86_64-deb9-linux.tar.xz ghc-x86_64-mingw32.tar.xz - - ls -lh - - mv docs/*.tar.xz docs/index.html . - source-tarball: stage: packaging tags: @@ -716,22 +694,3 @@ nightly-hackage: 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 - |