![[Jenkins]](/ocaml/static/8707ff75/images/svgs/logo.svg){kind=logo}
Last GitHub Push
Started on Jun 11, 2025, 3:23:03 PM Started by event from 140.82.115.158 ⇒ https://ci.inria.fr/ocaml/github-webhook/ on Wed Jun 11 15:23:03 CEST 2025 Build disabled Done. Took 0 ms No changes
Started on Jun 11, 2025, 3:23:03 PM Started by event from 140.82.115.158 ⇒ https://ci.inria.fr/ocaml/github-webhook/ on Wed Jun 11 15:23:03 CEST 2025 Build disabled Done. Took 0 ms No changes