diff options
| author | Jason Gross | 2018-08-23 20:53:41 -0400 |
|---|---|---|
| committer | Jason Gross | 2018-08-24 10:02:28 -0400 |
| commit | 6e65164d1a02438ea48e52229a85f8e79b6e09fb (patch) | |
| tree | 2ca4e192e4756e2475045942cb04d904d95a5ef4 /Makefile.dev | |
| parent | 05d13bf516a75da38bacbb62608528f8dceb34fd (diff) | |
Split up fiat-crypto CI into two targets
There is the new pipeline, and the old pipeline. Most of what they
share in common is the (very large) library of lemmas about `Z`.
As per the discussion in
https://github.com/coq/coq/pull/8064#issuecomment-413474176 through
https://github.com/coq/coq/pull/8064#issuecomment-413793143
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions