search

coq / coq-bench

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

[ci] Try to fix broken CI. #77

Closed ejgallego closed 4 years ago

ejgallego commented 4 years ago

Unfortunately we are still dependent on the Coq version for bignums; I guess better pinning will have to arrive first for this to be solved.