Hopeful compatibility with coq/coq#19599 #2111
Triggered via pull request
October 25, 2024 06:22
JasonGross
Status
Success
Total duration
6h 52m 11s
Artifacts
–
ci.yml
on: pull_request
Matrix: build
Matrix: docker-build
check-all
0s