coq-mathcomp-algebra-tactics.1.2.2 is compatible with MathComp 2.2 #12

Triggered via push January 18, 2024 13:38

pi8027

Status Success

Total duration 6m 31s

Artifacts 1

ci.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	11.1 MB