Opam 2 Fixes - Githubissues

coq / coq-bench

Scripts for differential performance testing of Coq packages / versions

Other

4 stars 6 forks source link

Opam 2 Fixes #60

Closed ejgallego closed 5 years ago

ejgallego commented 5 years ago

[opam] Workaround OPAM 2.0 ignore -j settings in general.
[opam] Update for new build cache on OPAM 2.0