Skip to content

build: update Prophet dependencies #16

build: update Prophet dependencies

build: update Prophet dependencies #16

Triggered via push August 6, 2024 20:56
Status Success
Total duration 2m 40s
Billable time 7m
Artifacts

tests.yml

on: push
Run Unit Tests
38s
Run Integration Tests
41s
Echidna Test
2m 30s
Run symbolic execution tests
41s
Lint Commit Messages
45s

Annotations

5 warnings
Lint Commit Messages: test/invariants/symbolic/Greeter.t.sol#L7
Line length must be no more than 120 but current length is 126
Lint Commit Messages: src/contracts/Arbitrable.sol#L65
Function order is incorrect, external function can not go after public view function (line 60)
Lint Commit Messages: src/interfaces/IArbitrable.sol#L81
Function order is incorrect, external function can not go after external view function (line 70)
Lint Commit Messages: src/interfaces/IGreeter.sol#L44
Function name must be in mixedCase
Lint Commit Messages: src/interfaces/IGreeter.sol#L66
Function order is incorrect, external function can not go after external view function (line 56)