search

coq / coq-bench

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

Update to OPAM 2 #52

Closed ejgallego closed 5 years ago

ejgallego commented 5 years ago

We cannot properly test OCaml master due to this.

Blocked on access to the machine.

ejgallego commented 5 years ago

cc: @maximedenes

ejgallego commented 5 years ago

This is quite critical as the current script works by pure luck due to a variety of factors [it uses opam 1.2 but depends on the upgrade coq core dev repo]