Gaëtan Gilbert (May 09 2020 at 12:38): Gaëtan Gilbert (May 09 2020 at 12:38):Can we have notifications (start/success/failure) for the jenkins bench like we have github (commit) notifications? (they get posted to "coq devs & plugin devs")
Théo Zimmermann (May 09 2020 at 14:12):This seems to be supported but it requires a plugin on the Jenkins side: https://zulipchat.com/integrations/doc/jenkins
Jason Gross (May 10 2020 at 04:17):I have admin bits on jenkins, but there's a warning:
Zulip
This plugin is a Zulip bot that can publish build statuses and send messages to Zulip streams.
Warning: This plugin is built for Jenkins 1.653 or newer. It may or may not work in your Jenkins.
Warning: This plugin requires dependent plugins be upgraded and some of these dependent plugins are not compatible with the current installed version. Jobs using these dependent plugins may need to be reconfigured.
Warning: This plugin requires dependent plugins that are built for Jenkins 2.164.3 or newer. The dependent plugins may or may not work in your Jenkins and consequently this plugin may or may not work in your Jenkins.
There aren't any benches running now, so now might be a good time to update jenkins, but I don't want to do it and risk messing up the bench setup, especially since I don't have login access to pyrolase (is that the server name, or am I misspelling it?) (or is it pendulum?). I'll open an issue on the bench github, though.
Jason Gross (May 10 2020 at 04:20):https://github.com/coq/coq-bench/issues/86
Théo Zimmermann (May 10 2020 at 10:36):It's pendulum. pyrolyse is used as a GitLab runner nowadays (it was previously used in Jenkins but was never part of the benchmarking infrastructure).
Last updated: May 31 2023 at 02:31 UTC