search

coq / coq-bench

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

timing html broken #59

Closed SkySkimmer closed 5 years ago

SkySkimmer commented 5 years ago

https://ci.inria.fr/coq/job/benchmark-part-of-the-branch/ws/625/html/ is a 404 https://ci.inria.fr/coq/job/benchmark-part-of-the-branch/625/console prints related "/home/jenkins/git/coq-bench/two_points_on_the_same_branch.sh: line 333: cd: /home/jenkins/workspace/benchmark-part-of-the-branch/625/opam.NEW/4.07.1+flambda+no-flat-float-array/build/coq-mathcomp-character.dev//: No such file or directory"

ejgallego commented 5 years ago

Umm, where is OPAM 2 keeping the build output now?

ejgallego commented 5 years ago

Also opam 2.0 doesn't respect the -j1 setting so it is very annoying :S What a buggy piece of ...

ejgallego commented 5 years ago

Ok, PR upcoming. bash is such a pain, so a better script here would be nice so it fails the CI.