Skip to content
CI

chore(medusa): bound min max #333

Sign in to view logs

chore(medusa): bound min max

chore(medusa): bound min max #333

Triggered via push November 22, 2024 15:09
@simon-somethingsimon-something
pushed 59b46aa
test/property-ebo-request-creator
Status Success
Total duration 1m 53s
Artifacts –

tests.yml

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

Annotations

10 warnings
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L7
Explicitly mark visibility of state
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L8
Explicitly mark visibility of state
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L108
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L159
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L213
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L308
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L353
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L407
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L460
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L573
Variable "_responseCreatedAt" is unused