Stream: Coq devs & plugin devs

Topic: 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 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