Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | CircleCI: Add configurations for Centos 7 and Debian 9 | Ben Gamari | 2018-12-11 | 1 | -3/+3 |
* | update (CicleCI) CI script to work with ghc-ci | Alp Mestanogullari | 2018-12-02 | 1 | -19/+2 |
* | Disable most Pipelines-based validation ways | Ben Gamari | 2018-12-01 | 1 | -3/+3 |
* | Add GitLab CI | Ben Gamari | 2018-12-01 | 1 | -94/+168 |
* | Add a Gitlab CI script that runs Circle CI validation jobs | Alp Mestanogullari | 2018-11-30 | 1 | -0/+119 |