[CI] Add newer Coq #566
Triggered via pull request
September 19, 2023 17:27
Status
Success
Total duration
12m 11s
Artifacts
–