I'll disable pendulum today because of security concerns. I hope to provide a gitlab based bench infrastructure ASAP. If there's an emergency need for running a bench, please contact me, so that we see what can be done.
Ups that's too bad :/
Maybe you want to put a brief notice here https://github.com/coq/coq/wiki/Jenkins-(automated-benchmarking) ?
Any news on the topic? Not that it's urgent but given that benches nowadays take about 15h, I feel like we're wasting free pendulum time :/
I am starting to have a few branches I'd like to bench before submitting them as PRs, is there an easy way to launch the bench e.g. for people with an SSH access (like me?)
So it seems @Maxime Dénès is likely enjoying holidays right now, sorry to be a bummer but is anybody else knowledgeable on the pendulum bench infra (@Emilio Jesús Gallego Arias, @Gaëtan Gilbert ?)
I'm back today
Aha! Right in time.
let's discuss it online
You mean through visio?
Last updated: Oct 16 2021 at 01:03 UTC