Skip to content

[CI] Add Coq 8.20 #1240

[CI] Add Coq 8.20

[CI] Add Coq 8.20 #1240

Annotations

8 warnings

opam (8.19)

succeeded Aug 26, 2024 in 4m 57s