Last GitHub Push

Started on Jun 25, 2025, 2:39:44 PM
Started by event from 140.82.115.80 ⇒ https://ci.inria.fr/ocaml/github-webhook/ on Wed Jun 25 14:39:42 CEST 2025
Build disabled
Done. Took 0 ms
No changes