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