build: update Prophet dependencies #33
Annotations
5 warnings
|
test/invariants/symbolic/Greeter.t.sol#L7
Line length must be no more than 120 but current length is 126
|
|
src/contracts/Arbitrable.sol#L65
Function order is incorrect, external function can not go after public view function (line 60)
|
|
src/interfaces/IArbitrable.sol#L81
Function order is incorrect, external function can not go after external view function (line 70)
|
|
src/interfaces/IGreeter.sol#L44
Function name must be in mixedCase
|
|
src/interfaces/IGreeter.sol#L66
Function order is incorrect, external function can not go after external view function (line 56)
|
The logs for this run have expired and are no longer available.
Loading