Coq 8.20 compatibility #10
Triggered via pull request
November 26, 2024 20:24
4ever2
Status
Success
Total duration
10m 43s
Artifacts
–