Maxime Dénès (Jul 05 2020 at 14:28): Maxime Dénès (Jul 05 2020 at 14:28):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.
Emilio Jesús Gallego Arias (Jul 05 2020 at 15:15):Ups that's too bad :/
Emilio Jesús Gallego Arias (Jul 05 2020 at 15:15):Maybe you want to put a brief notice here https://github.com/coq/coq/wiki/Jenkins-(automated-benchmarking) ?
Pierre-Marie Pédrot (Jul 11 2020 at 11:35):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 :/
Pierre-Marie Pédrot (Jul 17 2020 at 13:41):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?)
Pierre-Marie Pédrot (Jul 21 2020 at 14:01):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 ?)
Maxime Dénès (Jul 21 2020 at 14:04):I'm back today
Pierre-Marie Pédrot (Jul 21 2020 at 14:04):Aha! Right in time.
Maxime Dénès (Jul 21 2020 at 14:04):let's discuss it online
Pierre-Marie Pédrot (Jul 21 2020 at 14:04):You mean through visio?
Maxime Dénès (Jul 21 2020 at 14:05):yes
Last updated: Oct 13 2024 at 01:02 UTC