summaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
Commit message (Expand)AuthorAgeFilesLines
* 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