I've cleaned up the list of people who have access to the ci.inria.fr infrastructure since this infrastructure is not used anymore to run CI nor benches, but only to sign macOS packages. If you get a confusing email informing you of the removal, this is probably it.
Last updated: Dec 07 2023 at 14:02 UTC