Théo Zimmermann (Mar 22 2022 at 14:27): Théo Zimmermann (Mar 22 2022 at 14:27):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: Jun 04 2023 at 19:30 UTC