arm64 build of why3 1.3.1-3build1 in ubuntu groovy RELEASE
created
Build status
Failed to build on bos02-arm64-057
- Started
- Finished (took 17 minutes, 0.6 seconds)
- buildlog (38.0 KiB)