Stream: Coq devs & plugin devs

Topic: Pendulum


view this post on Zulip 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.

view this post on Zulip Emilio Jesús Gallego Arias (Jul 05 2020 at 15:15):

Ups that's too bad :/

view this post on Zulip 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) ?

view this post on Zulip 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 :/

view this post on Zulip 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?)

view this post on Zulip 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 ?)

view this post on Zulip Maxime Dénès (Jul 21 2020 at 14:04):

I'm back today

view this post on Zulip Pierre-Marie Pédrot (Jul 21 2020 at 14:04):

Aha! Right in time.

view this post on Zulip Maxime Dénès (Jul 21 2020 at 14:04):

let's discuss it online

view this post on Zulip Pierre-Marie Pédrot (Jul 21 2020 at 14:04):

You mean through visio?

view this post on Zulip Maxime Dénès (Jul 21 2020 at 14:05):

yes


Last updated: Oct 16 2021 at 01:03 UTC