Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [travis] Fix iris-coq build. | 2017-03-22 | |
| | | | | | | | We need to do a bit of hacking, but it should be fine for the short term. c.f. https://gitlab.mpi-sws.org/FP/iris-coq/issues/83 | ||
* | [travis] Basic support for overlays. | 2017-03-13 | |
| | | | | | | | We now allow the user to overlay contribution repositories and branches by adding their own rules to `ci-basic-overlay.sh`. This just provides very basic support. | ||
* | [travis] Adding a template file and using it for all targets. | 2017-03-10 | |
| | |||
* | [travis] Change headband for wider compatibility. | 2017-03-10 | |
| | |||
* | [travis] [External CI] Factor out math-comp installs. | 2017-02-15 | |
| | | | | | We make math-comp overlays easier, we also start structuring the scripts a bit more. | ||
* | [travis] [External CI] iris-coq: fix dependencies | 2017-02-07 | |
| | |||
* | [travis] Move ci files from `tools` to `dev`. | 2017-02-07 | |