Stream: Coq devs & plugin devs

Topic: ci.inria.fr access


view this post on Zulip 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: Feb 06 2023 at 00:03 UTC