Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-05-09 | Try to fix ci | Joris | |
2017-05-09 | Try to fix ci | Joris | |
2017-05-09 | Install npm too in ci | Joris | |
2017-05-09 | Install with -y in ci for apt-get | Joris | |
2017-05-09 | Use only build stage only in ci | Joris | |
2017-05-08 | Fix gitlab-ci | Joris | |
2017-05-08 | Fix missing pulp on path | Joris | |
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 | |