Skip to content

Merge pull request #28 from coq-community/boilerplate-8.20 #38

Merge pull request #28 from coq-community/boilerplate-8.20

Merge pull request #28 from coq-community/boilerplate-8.20 #38

Annotations

1 warning

build (mathcomp/mathcomp:2.0.0-coq-8.17)

succeeded Jan 3, 2025 in 3m 55s