Age | Commit message (Expand) | Author |
---|---|---|
2017-05-08 | Improve gitlab-ci speed | Joris |
2017-05-08 | Add purescript installation to ci | Joris |
2017-03-05 | Use correct name in gitlab-ci | Joris |
2017-03-05 | Use stack | Joris |
2017-02-23 | Update gitlab-ci | Joris |
2016-10-30 | Gitlab-ci on demo branch | Joris |
2016-10-30 | Fix naming issue in gitlab-ci | Joris |
2016-10-29 | Add gitlab CI | Joris |