Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Work around travis bugs | Jason Gross | 2018-01-29 |
| | | | | | | | https://github.com/travis-ci/travis-ci/issues/8507 We use a script and travis_retry to work around "failed to fetch" with launchpad | ||
* | Attempt to build travis in stages | Jason Gross | 2018-01-16 |
| | | | | | | | | | | | | Hopefully this will lead to overall faster builds Also: - try to allow failures - Version-specific vo caches - Make archives stage-specific This way, if multiple branches are running stages at the same time, they don't have as much a chance of clobbering each others builds. | ||
* | Add separate targets to build but not run test/bench | Jason Gross | 2018-01-16 |
| | |||
* | [travis] 8.7.0 -> 8.7.1 | Jason Gross | 2018-01-15 |
| | |||
* | Add travis_retry to work around bugs in travis | Jason Gross | 2018-01-10 |
| | | | | https://github.com/travis-ci/travis-ci/issues/8507 | ||
* | [travis] remove autogenerated files from _CoqProject | Jason Gross | 2017-12-13 |
| | | | | This will hopefully work better than kludging around coqdep | ||
* | Apparently ln -s is too slow on travis, so we fake it when we're not ↵ | Jason Gross | 2017-12-13 |
| | | | | building things | ||
* | Print out Coq version info on travis | Jason Gross | 2017-12-05 |
| | |||
* | Add a target to speed up coqdep with a kludge on travis | Jason Gross | 2017-11-26 |
| | |||
* | Update .travis.yml from 8.7+beta2 to 8.7.0 | Jason Gross | 2017-10-18 |
| | | | | This closes #255 | ||
* | Update .travis.yml to be 8.7-only | Jason Gross | 2017-10-18 |
| | |||
* | Allow test and bench to fail on travis | Jason Gross | 2017-10-11 |
| | | | | | | | | We now only build selected-test and selected-bench with one version of Coq (picked 8.7+beta2, because hopefully it'll be faster than 8.6.1). Previously, some travis builds failed because some travis machines don't support adc, adcx, mulx, etc. | ||
* | Add targets for no-curves-proofs-non-specific, and selected-specific, | Jason Gross | 2017-10-11 |
| | | | | Also hopefully fix travis | ||
* | Hopefully fix travis | Jason Gross | 2017-10-10 |
| | | | | | | Travis was too slow to run all of the coq target, so we split off the no-curves-proofs and the curves-proofs targets, and, while we're at it, also add 8.7+beta1 tests. | ||
* | [travis] trunk is now called master | Jason Gross | 2017-10-06 |
| | |||
* | Switch Coq {8.6 => 8.6.1} on travis | Jason Gross | 2017-10-06 |
| | |||
* | Drop 8.5 travis build | Jason Gross | 2017-10-06 |
| | | | | It's not useful, since we pass -compat 8.6 | ||
* | Drop test target on travis | Jason Gross | 2017-09-16 |
| | | | | It gives "illegal instruction" on p256 | ||
* | Test `make bench` on travis. | Jason Gross | 2017-09-15 |
| | |||
* | Also test coq v8.7 on travis | Jason Gross | 2017-07-08 |
| | |||
* | Don't set COQPATH in travis | Jason Gross | 2017-07-03 |
| | | | | We don't need it | ||
* | test display target on travis | Jason Gross | 2017-07-03 |
| | |||
* | Remove tabs from .travis.yml | Jason Gross | 2017-07-03 |
| | |||
* | Clean up .travis.yml | Jason Gross | 2017-07-03 |
| | | | | It's more readable now | ||
* | Don't make curves proofs on travis (hopefully fast enough build) | Jason Gross | 2017-06-17 |
| | |||
* | Fix the use of TARGETS on travis | Jason Gross | 2017-06-14 |
| | |||
* | Add a printlite target to display lite files | Jason Gross | 2017-06-14 |
| | |||
* | Also test the 'lite' target on 8.6 in travis | Jason Gross | 2017-06-14 |
| | |||
* | Fix travis targets | Jason Gross | 2017-04-03 |
| | |||
* | [travis] Only build the lite target on Coq 8.5 | Jason Gross | 2017-03-16 |
| | | | | This closes #122 | ||
* | Remove display .vo from default target | Jason Gross | 2017-03-06 |
| | |||
* | Use 8.6 rather than 8.6rc1 on travis | Jason Gross | 2016-12-19 |
| | |||
* | More travis fixups for package installation | Jason Gross | 2016-12-08 |
| | |||
* | Only install Coq package on travis | Jason Gross | 2016-12-08 |
| | |||
* | Test 8.6rc1 on travis | Jason Gross | 2016-12-08 |
| | |||
* | Add trunk as an allowed failure to .travis.yml | Jason Gross | 2016-12-06 |
| | |||
* | Update .travis.yml | Jason Gross | 2016-12-05 |
| | |||
* | Update .travis.yml | Jason Gross | 2016-12-05 |
| | |||
* | Only test 8.6beta1 on travis | Jason Gross | 2016-12-05 |
| | |||
* | Don't let travis kill us in 10 minutes of silence | Jason Gross | 2016-11-18 |
| | |||
* | Don't build 8.5pl{1,2} on travis | Jason Gross | 2016-11-17 |
| | | | | | | This will cancel out the timing increase of adding v8.5, v8.6. I've never seen 8.5 and 8.5pl3 succeed, while either 8.5pl1, or 8.5pl2 failed | ||
* | Add tip of 8.5, 8.6 to travis | Jason Gross | 2016-11-17 |
| | | | | Allow them to fail, though | ||
* | Also test 8.5pl3 on travis | Jason Gross | 2016-10-29 |
| | |||
* | Test fewer Coq versions on Travis (#46) | Jason Gross | 2016-08-04 |
| | | | Each version of 8.4 takes around 17 minutes to complete. I've yet to see anything that behaves differently among 8.4{,pl1,pl2,pl3,pl4}, or among 8.4pl{5,6}. So if we keep 8.4pl3 (the version of Coq distributed in debian trusty), and 8.4pl6, we should capture the range of behaviors, and save about an hour-and-a-quarter per test. | ||
* | Display pretty timing graph on travis | Jason Gross | 2016-07-20 |
| | |||
* | An attempt at fixing 8.5pl2 | Jason Gross | 2016-07-11 |
| | | | See #23 | ||
* | Add 8.5pl2 to travis | Jason Gross | 2016-07-11 |
| | |||
* | Also install libcoq-ocaml | Jason Gross | 2016-06-28 |
| | | | | | Because I can't figure out how to package coq so that coq depends on libcoq-ocaml automatically. | ||
* | Add many versions of Coq 8.4 to travis | Jason Gross | 2016-06-28 |
| | |||
* | Test 8.5 and 8.5pl1 on travis | Jason Gross | 2016-06-27 |
| | | | | | Now that I've finally managed to get packages built for both of these versions of Coq on my ppa... |