Coq 8.20 compatibility #6
Triggered via pull request
November 26, 2024 17:48
4ever2
Status
Success
Total duration
28m 40s
Artifacts
–