Closed spoon-bot closed 3 months ago
@monperrus I'm not sure who has access to the Jenkinks CI, but it seems like it's currently failing for unrelated reasons.
Seconding @SirYwell there. The failures seem moree related to the runner env (Java version needs to be ≥ 17 now, no space left, etc.)
https://ci.inria.fr/sos/