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.
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: Dec 01 2023 at 07:01 UTC