summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
Commit message (Expand)AuthorAgeFilesLines
* gitlab-ci: Drop CircleCI jobswip/drop-circleciBen Gamari2019-01-221-30/+0
* gitlab-ci: Cleanup Windows buildsBen Gamari2019-01-141-0/+30
* gitlab-ci: Clone haddock from its upstream repositoryBen Gamari2019-01-071-1/+1
* gitlab-ci: Try reenabling PDF documentation on DarwinBen Gamari2019-01-061-2/+0
* configure: introduce HAPPY and ALEX vars and deprecate --with-ghc in favour o...Adam Sandberg Eriksson2019-01-011-2/+2
* gitlab-ci: Try only building Windows in the quick flavourBen Gamari2018-12-251-0/+1
* gitlab-ci: Allow Windows to fail for nowBen Gamari2018-12-251-2/+4
* gitlab-ci: Require that integer-simple configuration passesBen Gamari2018-12-251-2/+1
* gitlab-ci: Clean tree on Windows after jobBen Gamari2018-12-241-0/+1
* gitlab-ci: Use robocopy instead of bash to copy cabal cacheBen Gamari2018-12-241-1/+1
* gitlab-ci: Use per-build temporary directory on WindowsBen Gamari2018-12-241-3/+12
* gitlab-ci: Disable CircleCI Darwin buildsBen Gamari2018-12-231-1/+1
* gitlab-ci: Allow Darwin CircleCI build to failBen Gamari2018-12-221-0/+1
* gitlab-ci: Fix Darwin buildBen Gamari2018-12-211-1/+4
* gitlab-ci: Only run nightly-i386-linux-deb9 when NIGHTLY is setBen Gamari2018-12-211-0/+3
* gitlab-ci: More aggressive cleaningBen Gamari2018-12-211-2/+3
* gitlab-ci: Only run CircleCI Darwin build in full-build stageBen Gamari2018-12-211-0/+1
* gitlab-ci: Add i386 Debian 9 buildsD5440Ben Gamari2018-12-211-0/+24
* gitlab-ci: Ensure that build environment is cleanBen Gamari2018-12-211-1/+3
* gitlab-ci: Set localeBen Gamari2018-12-211-0/+2
* gitlab-ci: Set thread count properly on WindowsBen Gamari2018-12-211-2/+2
* gitlab-ci: Tag linter stageBen Gamari2018-12-211-0/+14
* gitlab-ci: Fix Windows buildBen Gamari2018-12-211-18/+20
* gitlab-ci: Remove CircleCI configurationBen Gamari2018-12-211-12/+0
* gitlab-ci: Allow Hadrian build on Windows to failBen Gamari2018-12-211-0/+2
* Revert "gitlab: Drop submodules hack"Ben Gamari2018-12-211-2/+20
* gitlab-ci: Split build into two halvesBen Gamari2018-12-191-4/+15
* gitlab-ci: Fix locale on Darwin onlyBen Gamari2018-12-191-0/+1
* gitlab-ci: Ensure that locale is setBen Gamari2018-12-181-0/+1
* gitlab-ci: Make Windows PATH more robustBen Gamari2018-12-181-1/+15
* gitlab-ci: Remove CircleCI configurationBen Gamari2018-12-181-12/+0
* gitlab-ci: Try fixing Windows buildBen Gamari2018-12-181-1/+1
* gitlab-ci: Fix spelling of GIT_SUBMODULE_STRATEGYBen Gamari2018-12-171-1/+1
* darwin: Build with in-tree GMPBen Gamari2018-12-171-0/+1
* gitlab: Drop submodules hackBen Gamari2018-12-171-20/+1
* gitlab-ci/deb8-hadrian: Fix submodule pathsBen Gamari2018-12-171-0/+4
* gitlab-ci: Run Windows builds via make as wellBen Gamari2018-12-171-3/+25
* gitlab-ci: Disable Hadrian linting on WindowsBen Gamari2018-12-171-1/+2
* gitlab-ci: Introduce nightly buildsBen Gamari2018-12-171-1/+33
* gitlab-ci: Expire artifacts more aggressivelyBen Gamari2018-12-171-1/+7
* gitlab-ci: Enable Windows buildsBen Gamari2018-12-171-1/+1
* gitlab-ci: Add aarch64 targetBen Gamari2018-12-151-0/+11
* gitlab-ci: Bump Darwin boot compiler to 8.6.3Ben Gamari2018-12-131-1/+1
* gitlab-ci: Add lintersBen Gamari2018-12-131-1/+29
* gitlab-ci: Add LLVM wayBen Gamari2018-12-131-3/+13
* gitlab-ci: Enable darwin buildsBen Gamari2018-12-131-1/+1
* gitlab-ci: Don't save artifacts for unreg and integer-simple waysBen Gamari2018-12-131-1/+6
* Enable more GitLab CI waysBen Gamari2018-12-121-9/+45
* gitlab-ci: Fix job namesBen Gamari2018-12-121-4/+4
* gitlab-ci: Enable Haddock documentationBen Gamari2018-12-121-1/+1