summaryrefslogtreecommitdiff
path: root/.gitlab
Commit message (Expand)AuthorAgeFilesLines
* Revert "Performance tests: recover a baseline from ancestor commits and CI re...Ben Gamari2019-01-311-65/+0
* Performance tests: recover a baseline from ancestor commits and CI results.David Eichmann2019-01-301-0/+65
* Revert "Batch merge"Ben Gamari2019-01-301-65/+0
* Batch mergeBen Gamari2019-01-301-0/+65
* gitlab: Add merge request templateBen Gamari2019-01-211-0/+19
* fix-submodules: Rip out typingBen Gamari2019-01-071-3/+2
* gitlab-ci: Clone haddock from its upstream repositoryBen Gamari2019-01-071-1/+47
* linters: Check for WARN macro with space separating it from its parenBen Gamari2018-12-221-0/+2
* gitlab-ci: Fix Darwin buildBen Gamari2018-12-211-1/+4
* Revert "gitlab: Drop submodules hack"Ben Gamari2018-12-211-0/+8
* gitlab-ci: Try fixing Windows buildBen Gamari2018-12-181-1/+1
* gitlab: Drop submodules hackBen Gamari2018-12-171-8/+0
* gitlab-ci: Use cabal-install 2.4 on DarwinBen Gamari2018-12-171-1/+1
* gitlab-ci: Add lintersBen Gamari2018-12-133-0/+150
* update (CicleCI) CI script to work with ghc-ciAlp Mestanogullari2018-12-021-34/+19
* Add GitLab CIBen Gamari2018-12-013-0/+80
* Add a Gitlab CI script that runs Circle CI validation jobsAlp Mestanogullari2018-11-301-0/+125