summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
Commit message (Expand)AuthorAgeFilesLines
* gitlab-ci: Reintroduce DWARF-enabled bindistsBen Gamari2019-04-261-0/+15
* gitlab-ci: Fix CI image namesBen Gamari2019-04-241-2/+3
* gitlab-ci: Disable PDF building on Debian 8Ben Gamari2019-04-241-0/+2
* gitlab-ci: Set LANG in centos7 buildBen Gamari2019-04-241-0/+2
* gitlab-ci: Allow centos7 job to failBen Gamari2019-04-241-0/+1
* gitlab-ci: Further tighten linter release tag conditionBen Gamari2019-04-221-1/+1
* gitlab-ci: Only run release notes lint on release tagsBen Gamari2019-04-221-1/+2
* gitlab-ci: Add centos7 release jobBen Gamari2019-04-221-0/+21
* gitlab-ci: Do not build profiled libraries on 32-bit WindowsBen Gamari2019-04-201-0/+4
* gitlab: Remove doc-tarball jobBen Gamari2019-04-171-41/+0
* Allow unregisterised build to failBen Gamari2019-04-171-0/+1
* gitlab-ci: Allow failing build jobs to failBen Gamari2019-04-171-0/+3
* gitlab-ci: Backport from masterBen Gamari2019-04-171-104/+405
* gitlab-ci: Use build cleanup logic on Darwin as wellBen Gamari2019-02-201-3/+21
* gitlab-ci: Fix Windows cleanup command lineBen Gamari2019-02-201-1/+4
* gitlab-ci: Explicitly clear dependencies of all jobsBen Gamari2019-02-201-0/+4
* gitlab-ci: Drop CircleCI jobsBen Gamari2019-02-201-30/+0
* gitlab: Collect artifacts on WindowsBen Gamari2019-02-201-0/+10
* Update Darwin CI to use new toplevel --with-intree-gmp configure flagAlec Theriault2019-02-201-1/+1
* gitlab-ci: Disallow failureBen Gamari2019-02-201-1/+0
* gitlab-ci: Reenable Hadrian build on WindowsBen Gamari2019-02-201-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