Last GitHub Push

Started on Sep 17, 2025, 3:29:09 PM
Started by event from 140.82.115.251 ⇒ https://ci.inria.fr/ocaml/github-webhook/ on Wed Sep 17 15:29:09 CEST 2025
Build disabled
Done. Took 1 ms
No changes