Stream: Coq devs & plugin devs

Topic: paramcoq ci errors


view this post on Zulip Gaëtan Gilbert (Mar 10 2021 at 21:14):

I see these semi regularly on my gitlab fork, eg https://gitlab.com/SkySkimmer/coq/-/jobs/1087387208
I'm surprised they don't come up much for prs, maybe we don't use the shared runners often?

view this post on Zulip Emilio Jesús Gallego Arias (Mar 10 2021 at 21:35):

I see them quite often too ; I guess we can just disable native


Last updated: Oct 21 2021 at 20:02 UTC