Commit 22c2865a authored by Ben Gamari's avatar Ben Gamari 🐢

gitlab-ci: Disable Hadrian linting on Windows

The lint checks currently fail due to #15950.
parent 850b136b
......@@ -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/ -j`mk/` --flavour=Quick"
# FIXME: --no-lint due to #15950
- bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/ -j`mk/` --flavour=Quick --no-lint"
- bash -c "PATH=`pwd`/toolchain/bin:$PATH hadrian/ binary-dist"
- mv ghc-*.tar.xz ghc.tar.xz
- bash -c 'make V=0 -j`mk/` HADDOCK_DOCS=NO test THREADS=$THREADS JUNIT_FILE=../../junit.xml'
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment