Skip to content

CI: add Coq/Rocq 9.0+rc1 #267

CI: add Coq/Rocq 9.0+rc1

CI: add Coq/Rocq 9.0+rc1 #267

test-indent (27.2)

succeeded Jan 30, 2025 in 42s