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