Skip to content
CI

feat: validate request parameters #35

Sign in to view logs

feat: validate request parameters

feat: validate request parameters #35

Triggered via push August 13, 2024 17:49
@0xJabberwock0xJabberwock
pushed 2cb7c8c
feat/ebo-request-module
Status Success
Total duration 2m 4s
Billable time 6m
Artifacts –

tests.yml

on: push
Run Unit Tests
26s
Run Unit Tests
Run Integration Tests
26s
Run Integration Tests
Echidna Test
1m 52s
Echidna Test
Run symbolic execution tests
29s
Run symbolic execution tests
Lint Commit Messages
39s
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/EBORequestModule.sol#L28
Variable "_oracle" is unused
Lint Commit Messages: src/contracts/EBORequestModule.sol#L30
Variable "_arbitrator" is unused
Lint Commit Messages: src/contracts/EBORequestModule.sol#L31
Variable "_council" is unused
Lint Commit Messages: src/contracts/EBORequestModule.sol#L40
Variable "_params" is unused
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/IEBORequestModule.sol#L74
Function order is incorrect, external function can not go after external view function (line 61)
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)