Skip to content
CI

fix: merge #44

Sign in to view logs

fix: merge

fix: merge #44

Triggered via push August 14, 2024 14:00
@0xShaito0xShaito
pushed 600e2b5
feat/ebo-request-module
Status Success
Total duration 1m 42s
Billable time 6m
Artifacts –

tests.yml

on: push
Run Unit Tests
35s
Run Unit Tests
Run Integration Tests
23s
Run Integration Tests
Echidna Test
1m 31s
Echidna Test
Run symbolic execution tests
23s
Run symbolic execution tests
Lint Commit Messages
35s
Lint Commit Messages
Fit to window
Zoom out
Zoom in

Annotations

10 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/contracts/EBOFinalityModule.sol#L28
Variable "_oracle" is unused
Lint Commit Messages: src/contracts/EBOFinalityModule.sol#L30
Variable "_arbitrator" is unused
Lint Commit Messages: src/contracts/EBOFinalityModule.sol#L31
Variable "_council" is unused
Lint Commit Messages: src/contracts/EBORequestModule.sol#L27
Variable "_oracle" is unused
Lint Commit Messages: src/contracts/EBORequestModule.sol#L29
Variable "_arbitrator" is unused
Lint Commit Messages: src/contracts/EBORequestModule.sol#L30
Variable "_council" is unused
Lint Commit Messages: src/contracts/EBORequestModule.sol#L36
Variable "_requestId" is unused
Lint Commit Messages: src/contracts/EBORequestModule.sol#L39
Variable "_params" is unused