Skip to content
CI

test(medusa): progress proposer properties #374

Sign in to view logs

test(medusa): progress proposer properties

test(medusa): progress proposer properties #374

Triggered via push November 28, 2024 03:49
@0xJabberwock0xJabberwock
pushed 70ae4f8
test/property-ebo-request-creator
Status Success
Total duration 1m 31s
Artifacts –

tests.yml

on: push
Run Unit Tests
1m 19s
Run Unit Tests
Run Integration Tests
45s
Run Integration Tests
Echidna Test
48s
Echidna Test
Run symbolic execution tests
49s
Run symbolic execution tests
Lint Commit Messages
25s
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