Skip to content

Merge pull request #28 from ablearthy/update-gh-actions-coq-820 #9

Merge pull request #28 from ablearthy/update-gh-actions-coq-820

Merge pull request #28 from ablearthy/update-gh-actions-coq-820 #9

Annotations

11 warnings

build (mathcomp/mathcomp:1.17.0-coq-8.15)

succeeded Dec 30, 2024 in 3m 53s