Age | Commit message (Collapse) | 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 | |