fix: typo echidna #5
simon-somethingtests.yml
on: push
slither
57s
Run Unit Tests
19s
Run Integration Tests
16s
Echidna Test
27s
Run symbolic execution tests
15s
Lint Commit Messages
23s
Annotations
1 error and 16 warnings
|
Echidna Test
Process completed with exit code 1.
|
|
Run symbolic execution tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Run Integration Tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Run Unit Tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Lint Commit Messages
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Lint Commit Messages:
test/integration/Greeter.t.sol#L7
Function name must be in mixedCase
|
|
Lint Commit Messages:
test/invariants/fuzz/Greeter.t.sol#L11
Explicitly mark visibility of state
|
|
Lint Commit Messages:
test/invariants/fuzz/Greeter.t.sol#L11
'HEVM_ADDRESS' should start with _
|
|
Lint Commit Messages:
test/invariants/fuzz/Greeter.t.sol#L12
Explicitly mark visibility of state
|
|
Lint Commit Messages:
test/invariants/fuzz/Greeter.t.sol#L12
'hevm' should start with _
|
|
Lint Commit Messages:
test/invariants/symbolic/Greeter.t.sol#L19
Function name must be in mixedCase
|
|
Lint Commit Messages:
test/invariants/symbolic/Greeter.t.sol#L42
Function name must be in mixedCase
|
|
Lint Commit Messages:
test/unit/Greeter.t.sol#L25
Function name must be in mixedCase
|
|
Lint Commit Messages:
test/unit/Greeter.t.sol#L41
Function name must be in mixedCase
|
|
Lint Commit Messages:
test/unit/Greeter.t.sol#L49
Function name must be in mixedCase
|
|
Echidna Test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
slither
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|