Last GitHub Push

Started on Jun 16, 2025, 9:12:11 PM
Started by event from 140.82.115.79 ⇒ https://ci.inria.fr/ocaml/github-webhook/ on Mon Jun 16 21:12:11 CEST 2025
Build disabled
Done. Took 0 ms
No changes