coq: making sure coq master and 9.0 compile #363757
Closed
OfBorg / (unknown attributes) on aarch64-darwin
completed
Dec 27, 2024 in 0s
Failure
Details
Partial log
Merge failed
Loading