Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21849 #86

Adapt to https://github.com/rocq-prover/rocq/pull/21849

Adapt to https://github.com/rocq-prover/rocq/pull/21849 #86

Annotations

1 warning

The logs for this run have expired and are no longer available.