search

coq / coq-bench

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

[ci] Update CI `old` / `new` refs. #66

Closed ejgallego closed 5 years ago

ejgallego commented 5 years ago

This is a workwaround for the problem detailed in #65.