CI

build: update prophet-core-contracts dependency #13

Sign in to view logs

Triggered via push August 6, 2024 02:22

feat/ebo-finality-module

Status Success

Total duration 1m 50s

Billable time 6m

Artifacts –

tests.yml

on: push

Run Integration Tests

Run symbolic execution tests

Lint Commit Messages

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/EBOFinalityModule.sol#L35

Variable "_oracle" is unused

Lint Commit Messages: src/interfaces/IEBOFinalityModule.sol#L80

Function order is incorrect, external function can not go after external view function (line 67)

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)