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")
This seems to be supported but it requires a plugin on the Jenkins side: https://zulipchat.com/integrations/doc/jenkins
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.
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: Feb 05 2023 at 07:03 UTC