diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-17 14:45:30 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-17 14:45:30 -0500 |
| commit | a96fb928240dd0b72b01611ec46a80c45badacee (patch) | |
| tree | 91d38d79a2ea84f72abe14787f09dfe041ca83e6 /src/BaseSystemProofs.v | |
| parent | 81c0f7fe3a2fa418c9f032984354554172a616b4 (diff) | |
Add tip of 8.5, 8.6 to travis
Allow them to fail, though
Diffstat (limited to 'src/BaseSystemProofs.v')
0 files changed, 0 insertions, 0 deletions