Stream: Coq devs & plugin devs

Topic: Jenkins shutdown


view this post on Zulip Théo Zimmermann (Dec 21 2020 at 09:51):

It is now possible to disable Jenkins in Inria CI. Since we don't use it anymore since pendulum has been put offline and the bench infrastructure has migrated to GitLab CI, and since Inria IT services are encouraging disabling it to save memory if we don't use it, I've just done that. But it's easy to start it again if necessary.

view this post on Zulip Théo Zimmermann (Dec 21 2020 at 09:52):

It might also be worth cleaning up the list of users who have access to it since it's only used to manage CloudStack instances now.


Last updated: Oct 13 2024 at 01:02 UTC