Coq 8.20, rm infra.v, minor fixes #151
Triggered via pull request
February 20, 2025 15:53
ybertot
Status
Failure
Total duration
18m 24s
Artifacts
–