Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [travis] Basic support for overlays. | Emilio Jesus Gallego Arias | 2017-03-13 |
* | [travis] Adding a template file and using it for all targets. | Théo Zimmermann | 2017-03-10 |
* | [travis] Change headband for wider compatibility. | Théo Zimmermann | 2017-03-10 |
* | [travis] [External CI] CompCert official 8.6 support + UniMath | Emilio Jesus Gallego Arias | 2017-02-15 |