Gaëtan Gilbert (Mar 10 2021 at 21:14): 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?
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 08 2024 at 15:02 UTC