From a2aec7815fe30229036af60e340b0a063702aecf Mon Sep 17 00:00:00 2001
From: Alfredo Di Napoli <alfredo@well-typed.com>
Date: Mon, 24 Jul 2023 08:01:47 +0200
Subject: [PATCH] Temporarily disable docs step in CI, it hides failures
---
.gitlab-ci.yml | 43 +++++++++++++++++++++----------------------
1 file changed, 21 insertions(+), 22 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e265473b..d628dbf4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -13,7 +13,6 @@ stages:
- stack
- cabal
- test
- - docs
stack:
stage: stack
@@ -49,24 +48,24 @@ test:
script:
- nix-shell --run "./bin/update-cabal-project $CABAL_STORE_DIR && cabal --store-dir=$CABAL_STORE_DIR v2-test --test-show-details=streaming --ghc-options='-O0 -fclear-plugins'"
-docs:
- stage: docs
- cache:
- key: stack.yaml
- paths:
- - .stack-root/
- - .stack-work/
- policy: pull
- script:
- - nix-shell --run "stack build --no-terminal --haddock --no-haddock-deps --fast --dry-run"
- - cp -R "$(stack path --local-install-root)"/doc ./output
- # FIXME(adinapoli) Currently Gitlab 11.x doesn't support the 'rules' keyword.
- # rules:
- # - if: '$CI_MERGE_REQUEST_IID' # Run job on Merge Requests
- only:
- - merge_requests
- artifacts:
- paths:
- - ./output
- expire_in: 1 week
- allow_failure: true
+#docs:
+# stage: docs
+# cache:
+# key: stack.yaml
+# paths:
+# - .stack-root/
+# - .stack-work/
+# policy: pull
+# script:
+# - nix-shell --run "stack build --no-terminal --haddock --no-haddock-deps --fast --dry-run"
+# - cp -R "$(stack path --local-install-root)"/doc ./output
+# # FIXME(adinapoli) Currently Gitlab 11.x doesn't support the 'rules' keyword.
+# # rules:
+# # - if: '$CI_MERGE_REQUEST_IID' # Run job on Merge Requests
+# only:
+# - merge_requests
+# artifacts:
+# paths:
+# - ./output
+# expire_in: 1 week
+# allow_failure: true
--
2.21.0