fix: rm slither from ci #9
simon-somethingtests.yml
on: push
Run Unit Tests
19s
Run Integration Tests
15s
Echidna Test
1m 12s
Run symbolic execution tests
18s
Lint Commit Messages
27s
Annotations
15 warnings
|
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 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 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/.
|