Skip to content

Adapt to rocq#21180 #482

Adapt to rocq#21180

Adapt to rocq#21180 #482

Annotations

10 warnings

docker (coqorg/coq:8.20, dev)

succeeded Oct 17, 2025 in 5m 1s