diff options
author | Jason Gross <jgross@mit.edu> | 2017-10-06 23:44:24 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2017-10-10 04:12:34 -0400 |
commit | 1fa858aefdf24995c8b58b927f80de9df92e4796 (patch) | |
tree | 90916f656ba52cd39ed4ecfbbf856470ee3af9bf /etc/additionchain.py | |
parent | 65c0573cf7dda899374122e0dc558c551223bc00 (diff) |
Hopefully fix travis
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.
Diffstat (limited to 'etc/additionchain.py')
0 files changed, 0 insertions, 0 deletions