The OCAML has been [failing too much](https://github.com/o1-labs/seeds/actions/runs/17196122889), affecting its reliability. Possibly, the timeout of the test might be too low.