aboutsummaryrefslogtreecommitdiff
path: root/.travis.yml
Commit message (Expand)AuthorAge
* remove 8.7 from travis testsGravatar jadep2019-03-21
* Improve travis stagesGravatar Jason Gross2019-02-01
* remove redundant travis CI stagesGravatar Andres Erbsen2019-01-10
* remove old pipelineGravatar Andres Erbsen2019-01-09
* Update .travis.ymlGravatar Jason Gross2018-12-20
* Add another early travis stageGravatar Jason Gross2018-11-02
* Split up new-pipeline moreGravatar Jason Gross2018-08-13
* Move new-pipeline to its own stageGravatar Jason Gross2018-08-04
* Add some primes to be synthesizedGravatar Jason Gross2018-07-21
* WIPGravatar Jason Gross2018-07-03
* Fix issue with Travis networkGravatar Jason Gross2018-06-19
* New pipeline, split among filesGravatar Jason Gross2018-06-17
* Bump versions of Coq we test on travisGravatar Jason Gross2018-05-02
* Work around travis bugsGravatar Jason Gross2018-01-29
* Attempt to build travis in stagesGravatar Jason Gross2018-01-16
* Add separate targets to build but not run test/benchGravatar Jason Gross2018-01-16
* [travis] 8.7.0 -> 8.7.1Gravatar Jason Gross2018-01-15
* Add travis_retry to work around bugs in travisGravatar Jason Gross2018-01-10
* [travis] remove autogenerated files from _CoqProjectGravatar Jason Gross2017-12-13
* Apparently ln -s is too slow on travis, so we fake it when we're not building...Gravatar Jason Gross2017-12-13
* Print out Coq version info on travisGravatar Jason Gross2017-12-05
* Add a target to speed up coqdep with a kludge on travisGravatar Jason Gross2017-11-26
* Update .travis.yml from 8.7+beta2 to 8.7.0Gravatar Jason Gross2017-10-18
* Update .travis.yml to be 8.7-onlyGravatar Jason Gross2017-10-18
* Allow test and bench to fail on travisGravatar Jason Gross2017-10-11
* Add targets for no-curves-proofs-non-specific, and selected-specific,Gravatar Jason Gross2017-10-11
* Hopefully fix travisGravatar Jason Gross2017-10-10
* [travis] trunk is now called masterGravatar Jason Gross2017-10-06
* Switch Coq {8.6 => 8.6.1} on travisGravatar Jason Gross2017-10-06
* Drop 8.5 travis buildGravatar Jason Gross2017-10-06
* Drop test target on travisGravatar Jason Gross2017-09-16
* Test `make bench` on travis.Gravatar Jason Gross2017-09-15
* Also test coq v8.7 on travisGravatar Jason Gross2017-07-08
* Don't set COQPATH in travisGravatar Jason Gross2017-07-03
* test display target on travisGravatar Jason Gross2017-07-03
* Remove tabs from .travis.ymlGravatar Jason Gross2017-07-03
* Clean up .travis.ymlGravatar Jason Gross2017-07-03
* Don't make curves proofs on travis (hopefully fast enough build)Gravatar Jason Gross2017-06-17
* Fix the use of TARGETS on travisGravatar Jason Gross2017-06-14
* Add a printlite target to display lite filesGravatar Jason Gross2017-06-14
* Also test the 'lite' target on 8.6 in travisGravatar Jason Gross2017-06-14
* 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