diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-11 14:41:00 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-10-11 14:42:37 -0400 |
| commit | 951939fd55d7ad8178ac095189bc8399f2124640 (patch) | |
| tree | b20d3b9dfc56220251637892418df3b6cc277563 /src/Util/Notations.v | |
| parent | 0cca85eac0132e4b4a873aef7f7951196d9b81ea (diff) | |
Allow test and bench to fail on travis
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.
Diffstat (limited to 'src/Util/Notations.v')
0 files changed, 0 insertions, 0 deletions