Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [travis] [External CI] CompCert official 8.6 support + UniMath | 2017-02-15 | |
* | [travis] [External CI] GeoCoq | 2017-02-07 | |
* | [travis] Enable 32bit test-suite + validate. | 2017-02-07 | |
* | [travis] [External CI] C-Corn color coquelicot cpdt fiat-crypto floqc iris-co... | 2017-02-07 | |
* | [travis] [External CI] Script renaming. | 2017-02-07 | |
* | [travis] Improvements to main script | 2017-02-07 | |
* | [travis] [External CI] compcert HoTT math-comp | 2017-02-07 | |
* | [travis] Run tests using a parallel matrix. | 2017-02-06 | |
* | [travis] : more apt deps + parallel jobs + non-container based | 2017-02-04 | |
* | [travis] CoqIde + doc + last available LST | 2017-02-04 | |
* | Travis CI configuration. Runs validate & test-suite. | 2017-02-03 |