diff options
author | Ben Gamari <ben@smart-cactus.org> | 2018-12-16 11:26:46 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-17 12:44:49 -0500 |
commit | 22c2865ad5417b94ffd24ea55882722d7b5d19c4 (patch) | |
tree | 9ae7e34ee5fc256f52ba1862e58924aecc4886d4 | |
parent | 850b136bdf3f04536580257feb9ce22677ece9d4 (diff) | |
download | haskell-22c2865ad5417b94ffd24ea55882722d7b5d19c4.tar.gz |
gitlab-ci: Disable Hadrian linting on Windows
The lint checks currently fail due to #15950.
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index bcbcc30aeb..a48c195659 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -248,7 +248,8 @@ validate-x86_64-windows: bash -c './configure --with-ghc=`pwd`/toolchain/bin/ghc --enable-tarballs-autodownload HappyCmd=`pwd`/toolchain/bin/happy AlexCmd=`pwd`/toolchain/bin/alex' mkdir -p _build cp -R inplace/mingw _build/mingw - - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --flavour=Quick" + # FIXME: --no-lint due to #15950 + - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh -j`mk/detect-cpu-count.sh` --flavour=Quick --no-lint" - bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/build.cabal.sh binary-dist" - mv ghc-*.tar.xz ghc.tar.xz - bash -c 'make V=0 -j`mk/detect-cpu-count.sh` HADDOCK_DOCS=NO test THREADS=$THREADS JUNIT_FILE=../../junit.xml' |