search

coq / coq-bench

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

[output] Disable repetitive and non-very informative output. #40

Closed ejgallego closed 6 years ago

ejgallego commented 6 years ago

The repeated output of what the columns mean do really make the logs unreadable; if anything, this info should be printed just once or even better be present in the README.

ejgallego commented 6 years ago

Piiiiiing.

ejgallego commented 6 years ago

I shall merge myself I see.

ejgallego commented 6 years ago

Poooong.

gares commented 6 years ago

I'll merge it and check that it is up to date on pendulum

gares commented 6 years ago

for some reason my keepass has outdated credentials on pendulum (I can't sudo). IIRC the jenkins job does not do a git pull... you have to fix the job I guess, or wait for @maximedenes to help me recover the password.

ejgallego commented 6 years ago

Thanks @gares

ejgallego commented 6 years ago

Indeed we need a better workflow here.

ejgallego commented 6 years ago

Yeah this was merged but the bench server is using an old checkout :S