Create `Search` performance test for Coq's CI
JasonGross opened this issue · 1 comments
JasonGross commented
This is mostly a note to self to add something like
Require Import Crypto.Everything.
Time Redirect "log" Search Z.JasonGross commented
Completed by #1518