amd64 build of dafny 1.9.7-1 in ubuntu bionic RELEASE
created
Build status
Failed to build on lcy01-amd64-007
- Started
- Finished (took 1 minute, 35.8 seconds)
- buildlog (29.0 KiB)
Failed to build on lcy01-amd64-007