Hopeful compatibility with coq/coq#19599 #2105
Triggered via pull request
October 24, 2024 04:55
JasonGross
Status
Success
Total duration
2h 51m 4s
Artifacts
–
ci.yml
on: pull_request
Matrix: build
Matrix: docker-build
check-all
0s