aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
Commit message (Expand)AuthorAge
* Fix travis targetsGravatar Jason Gross2017-04-03
* [travis] Only build the lite target on Coq 8.5Gravatar Jason Gross2017-03-16
* Remove display .vo from default targetGravatar Jason Gross2017-03-06
* Use 8.6 rather than 8.6rc1 on travisGravatar Jason Gross2016-12-19
* More travis fixups for package installationGravatar Jason Gross2016-12-08
* Only install Coq package on travisGravatar Jason Gross2016-12-08
* Test 8.6rc1 on travisGravatar Jason Gross2016-12-08
* Add trunk as an allowed failure to .travis.ymlGravatar Jason Gross2016-12-06
* Update .travis.ymlGravatar Jason Gross2016-12-05
* Update .travis.ymlGravatar Jason Gross2016-12-05
* Only test 8.6beta1 on travisGravatar Jason Gross2016-12-05
* Don't let travis kill us in 10 minutes of silenceGravatar Jason Gross2016-11-18
* Don't build 8.5pl{1,2} on travisGravatar Jason Gross2016-11-17
* Add tip of 8.5, 8.6 to travisGravatar Jason Gross2016-11-17
* Also test 8.5pl3 on travisGravatar Jason Gross2016-10-29
* Test fewer Coq versions on Travis (#46)Gravatar Jason Gross2016-08-04
* 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-05-02 04:55:09 +0000