diff options
author | Ben Gamari <ben@smart-cactus.org> | 2018-12-25 05:12:40 -0500 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2018-12-25 22:11:44 -0500 |
commit | 8c10e531c9431b32c7b43df5e013f7b4dce8a8c2 (patch) | |
tree | 168588794427921e8343e57c189646ead06969d6 | |
parent | 9b65ae69fbeddcb9df7c70b71c9cf62be1e03dbd (diff) | |
download | haskell-wip/quick-validate-for-windows.tar.gz |
gitlab-ci: Try only building Windows in the quick flavourwip/quick-validate-for-windows
It seems no matter how many machines I throw at Windows it's constantly behind.
Perhaps the quick build flavour will be fast enough to allow us to keep until
while we sort out our toolchain issues.
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 25771c2b41..1feaab35f0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -361,6 +361,7 @@ validate-x86_64-windows: set MSYSTEM=MINGW64 python boot bash -c './configure --with-ghc=`pwd`/toolchain/bin/ghc --enable-tarballs-autodownload HappyCmd=`pwd`/toolchain/bin/happy AlexCmd=`pwd`/toolchain/bin/alex' + - bash -c "echo include mk/flavours/quick.mk > mk/build.mk" - bash -c "PATH=`pwd`/toolchain/bin:$PATH make -j`mk/detect-cpu-count.sh`" - bash -c 'make V=0 test THREADS=`mk/detect-cpu-count.sh` JUNIT_FILE=../../junit.xml' cache: |