Last GitHub Push

Started on Jul 27, 2025, 8:10:12 PM
Started by event from 140.82.115.9 ⇒ https://ci.inria.fr/ocaml/github-webhook/ on Sun Jul 27 20:10:12 CEST 2025
Build disabled
Done. Took 2 ms
No changes