diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-08-23 20:48:03 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-08-23 20:48:03 -0400 |
| commit | a24640e12177576b4c7fcc299f19df09e6b36d81 (patch) | |
| tree | a65d9ce9027cab349a59c3aad667bbc7a45f7dc4 /_CoqProject | |
| parent | 23fe5603fbb66fcc3f505494c4b00df506a0ae74 (diff) | |
Add some makefile targets for Coq's CI
This should allow faster, more parallel runs of Coq's CI
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions