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 /LICENSE | |
| 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 'LICENSE')
0 files changed, 0 insertions, 0 deletions