diff options
-rw-r--r-- | .gitlab-ci.yml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 299ef69e37..e3fb4cac90 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -339,6 +339,14 @@ validate-x86_64-linux-deb9-unreg-hadrian: CONFIGURE_ARGS: --enable-unregisterised TEST_ENV: "x86_64-linux-deb9-unreg-hadrian" +validate-x86_64-linux-deb9-no_tntc-hadrian: + extends: .validate-linux-hadrian + stage: full-build + when: manual + variables: + CONFIGURE_ARGS: --disable-tables-next-to-code + TEST_ENV: "x86_64-linux-deb9-no_tntc-hadrian" + .build-x86_64-linux-deb10-hadrian-cross-aarch64: extends: .validate-linux-hadrian image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb10:$DOCKER_REV" |