Skip to content
CI

chore(medusa): rm useless bounds #334

Sign in to view logs

chore(medusa): rm useless bounds

chore(medusa): rm useless bounds #334

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

tests.yml

on: push
Run Unit Tests
1m 13s
Run Unit Tests
Run Integration Tests
54s
Run Integration Tests
Echidna Test
49s
Echidna Test
Run symbolic execution tests
44s
Run symbolic execution tests
Lint Commit Messages
24s
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