dafny 4.3.0 #289837
Annotations
2 warnings and 4 notices
|
Run brew test-bot --only-formulae --junit --only-json-tab --skip-dependents --testing-formulae="dafny" --added-formulae="" --deleted-formulae="":
Formula/d/dafny.rb#L1
dafny has unbottled dependencies, so a bottle will not be built.
|
|
|
|
|
The logs for this run have expired and are no longer available.
Loading