aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
Commit message (Expand)AuthorAge
* Display pretty timing graph on travisGravatar Jason Gross2016-07-20
* An attempt at fixing 8.5pl2Gravatar Jason Gross2016-07-11
* Add 8.5pl2 to travisGravatar Jason Gross2016-07-11
* Also install libcoq-ocamlGravatar Jason Gross2016-06-28
* Add many versions of Coq 8.4 to travisGravatar Jason Gross2016-06-28
* Test 8.5 and 8.5pl1 on travisGravatar Jason Gross2016-06-27
* Make Coq 8.5 the default target for Fiat-CryptoGravatar Jason Gross2016-06-22
* Also build with Coq 8.5 on travisGravatar Jason Gross2016-06-22
* Add .travis.ymlGravatar Jason Gross2016-06-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-19 17:12:22 +0000