summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
Commit message (Expand)AuthorAgeFilesLines
* 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
* CircleCI: Add configurations for Centos 7 and Debian 9Ben Gamari2018-12-111-3/+3
* update (CicleCI) CI script to work with ghc-ciAlp Mestanogullari2018-12-021-19/+2
* Disable most Pipelines-based validation waysBen Gamari2018-12-011-3/+3
* Add GitLab CIBen Gamari2018-12-011-94/+168
* Add a Gitlab CI script that runs Circle CI validation jobsAlp Mestanogullari2018-11-301-0/+119
View Lorry Controller Status