Skip to content

Adapt to https://github.com/coq/coq/pull/19530 #52

Adapt to https://github.com/coq/coq/pull/19530

Adapt to https://github.com/coq/coq/pull/19530 #52

Annotations

10 warnings

build (coqorg/coq:8.13)

succeeded Sep 17, 2024 in 7m 49s