Last GitHub Push

Started on Jul 7, 2025, 10:39:31 AM
Started by event from 140.82.115.10 ⇒ https://ci.inria.fr/ocaml/github-webhook/ on Mon Jul 07 10:39:31 CEST 2025
Build disabled
Done. Took 0 ms
No changes