Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Split up new-pipeline more | Jason Gross | 2018-08-13 |
| | | | | | Also change the travis config so that it's easier to insert new stages without globally renaming everything | ||
* | Move new-pipeline to its own stage | Jason Gross | 2018-08-04 |
| | | | | It's starting to get pretty slow. | ||
* | Add some primes to be synthesized | Jason Gross | 2018-07-21 |
| | |||
* | WIP | Jason Gross | 2018-07-03 |
| | |||
* | Fix issue with Travis network | Jason Gross | 2018-06-19 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | Sometimes we get logs like [this](https://travis-ci.org/mit-plv/fiat-crypto/jobs/393628098), where we have ``` Reading package lists... W: GPG error: http://ppa.launchpad.net/jgross-h/many-coq-versions/ubuntu trusty InRelease: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY E58B19DAA454A7D9 W: The repository 'http://ppa.launchpad.net/jgross-h/many-coq-versions/ubuntu trusty InRelease' is not signed. W: There is no public key available for the following key IDs: E58B19DAA454A7D9 W: http://ppa.launchpad.net/couchdb/stable/ubuntu/dists/trusty/Release.gpg: Signature by key 15866BAFD9BCC4F3C1E0DFC7D69548E1C17EAB57 uses weak digest algorithm (SHA1) ``` and then ``` WARNING: The following packages cannot be authenticated! ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox libcamlp4-ocaml-dev camlp4 coq-8.7.2-theories liblablgtk2-ocaml liblablgtksourceview2-ocaml libcoq-8.7.2-ocaml ocaml-native-compilers coq-8.7.2 coq-8.7.2ide libfindlib-ocaml libfindlib-ocaml-dev ocaml-findlib E: There were unauthenticated packages and -y was used without --allow-unauthenticated ``` I'm not sure if this is the right way to fix this... | ||
* | New pipeline, split among files | Jason Gross | 2018-06-17 |
| | |||
* | Bump versions of Coq we test on travis | Jason Gross | 2018-05-02 |
| | | | | | Now we test master, v8.8.dev, v8.7.dev, 8.8.0, and 8.7.2, instead of master, v8.7.dev, and 8.7.1. | ||
* | 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 |
| |