![[Jenkins]](/ocaml/static/db2b9b32/images/svgs/logo.svg){kind=logo}
Last GitHub Push
Started on Sep 27, 2025, 4:43:09 AM Started by event from 140.82.115.28 ⇒ https://ci.inria.fr/ocaml/github-webhook/ on Sat Sep 27 04:43:08 CEST 2025 Build disabled Done. Took 0 ms No changes
Started on Sep 27, 2025, 4:43:09 AM Started by event from 140.82.115.28 ⇒ https://ci.inria.fr/ocaml/github-webhook/ on Sat Sep 27 04:43:08 CEST 2025 Build disabled Done. Took 0 ms No changes