Stream: Coq devs & plugin devs

Topic: CI runners

view this post on Zulip Gaëtan Gilbert (Feb 08 2023 at 15:57):

Are we supposed to have this many offline runners? https://gitlab.com/groups/coq/-/runners
also we should do those recommended updates at some point

Last updated: May 31 2023 at 17:01 UTC