diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-12-25 05:12:40 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-25 21:58:18 -0500 |
| commit | 942b501972139ed95b49b75cb8c0523b460f6d10 (patch) | |
| tree | fb23daad73279ac7594c9a2c3312d2a12d051c4d /.gitlab-ci.yml | |
| parent | bb06c6b12c4a24c049fa8fbc9c470f12d625ca18 (diff) | |
| download | haskell-942b501972139ed95b49b75cb8c0523b460f6d10.tar.gz | |
gitlab-ci: Try only building Windows in the quick flavour
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 (#16084).
Diffstat (limited to '.gitlab-ci.yml')
| -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 6d8276faf3..87a5333a9e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -362,6 +362,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: |