search

coq / coq-bench

Scripts for differential performance testing of Coq packages / versions
Other
4 stars 6 forks source link

Add quoting, misc lints #50

Closed SkySkimmer closed 6 years ago

SkySkimmer commented 6 years ago

Looks like I messed up the quoting so I pushed a revert.

ejgallego commented 5 years ago

We now have some basic CI so you can retry if you feel like it @SkySkimmer