PR #29332: Avoid Menhir 20260122, due to a printing bug in the Rocq back-end.

By fpottier • View on GitHub • Status: MERGED

Test State: COMPLETED

Packages

• menhir.20260122

Build Jobs

debian 13 - OCaml 5.4.0

debian 13 - OCaml 5.3.0

debian 13 - OCaml 5.2.1

debian 13 - OCaml 4.14.2

ubuntu 24.04 - OCaml 5.4.0

ubuntu 24.04 - OCaml 4.14.2

ubuntu 22.04 - OCaml 5.4.0

ubuntu 22.04 - OCaml 4.14.2