s390x build of coq 8.11.0-1build1 in ubuntu groovy RELEASE
created
Build status
Failed to build on bos02-s390x-017
- Started
- Finished (took 26 minutes, 47.3 seconds)
- buildlog (138.7 KiB)