Skip to content

feat: allow to duplicate request id (#9) #61

feat: allow to duplicate request id (#9)

feat: allow to duplicate request id (#9) #61

Triggered via push August 16, 2024 01:44
Status Success
Total duration 46s
Artifacts

tests.yml

on: push
Run Unit Tests
38s
Run Unit Tests
Run Integration Tests
22s
Run Integration Tests
Echidna Test
22s
Echidna Test
Run symbolic execution tests
21s
Run symbolic execution tests
Lint Commit Messages
26s
Lint Commit Messages
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
Lint Commit Messages: test/integration/arbitrum/IntegrationBase.sol#L18
Explicitly mark visibility of state
Lint Commit Messages: test/unit/EBORequestCreator.t.sol#L289
Variable "_chainIds" is unused
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#L29
Variable "_oracle" is unused
Lint Commit Messages: src/contracts/EBOFinalityModule.sol#L31
Variable "_arbitrator" is unused
Lint Commit Messages: src/contracts/EBOFinalityModule.sol#L32
Variable "_council" is unused
Lint Commit Messages: src/contracts/EBORequestCreator.sol#L35
Variable "_arbitrator" is unused
Lint Commit Messages: src/contracts/EBORequestCreator.sol#L36
Variable "_council" is unused
Lint Commit Messages: src/contracts/EBORequestModule.sol#L28
Variable "_oracle" is unused
Lint Commit Messages: src/contracts/EBORequestModule.sol#L30
Variable "_arbitrator" is unused