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