Build bottle of dafny on 15-arm64 #59952
cho-mAnnotations
4 notices
|
bottle (15-arm64-11656980395-dispatch, false)
1 bottle(s)
|
|
bottle (15-arm64-11656980395-dispatch, false)
0 failed bottle(s)
|
|
bottle (15-arm64-11656980395-dispatch, false)
1 list(s) of skipped formulae
|
|
bottle (15-arm64-11656980395-dispatch, false)
0 list(s) of successfully tested dependents
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
bottles_15-arm64-11656980395-dispatch
|
15.4 MB |
|
|
logs_15-arm64-11656980395-dispatch
|
6.81 KB |
|