summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
Commit message (Expand)AuthorAgeFilesLines
* gitlab-ci: Use build cleanup logic on Darwin as wellBen Gamari2019-01-301-3/+21
* Performance tests: recover a baseline from ancestor commits and CI results.David Eichmann2019-01-301-1/+29
* Revert "Batch merge"Ben Gamari2019-01-301-50/+4
* Batch mergeBen Gamari2019-01-301-4/+50
* gitlab-ci: Fix Windows cleanup command lineBen Gamari2019-01-271-1/+4
* gitlab-ci: Explicitly clear dependencies of all jobsBen Gamari2019-01-231-0/+4
* gitlab-ci: Drop CircleCI jobsBen Gamari2019-01-231-30/+0
* gitlab: Collect artifacts on WindowsBen Gamari2019-01-231-0/+10
* Update Darwin CI to use new toplevel --with-intree-gmp configure flagAlec Theriault2019-01-231-1/+1
* gitlab-ci: Disallow failureBen Gamari2019-01-231-1/+0
* gitlab-ci: Reenable Hadrian build on WindowsBen Gamari2019-01-231-6/+5
* 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