Skip to content

Dune CI broken with Rocq 9.0.0

See !604 (merged).

The underlying issue (see https://github.com/rocq-prover/rocq/issues/20422, fixed in https://github.com/rocq-prover/rocq/pull/20437) will be fixed in the next Rocq release (either 9.0.1 if it comes about, or 9.1.0 scheduled September).