Skip to content

fix: invariant + optim #103

fix: invariant + optim

fix: invariant + optim #103

Triggered via push May 16, 2024 13:02
Status Success
Total duration 48s
Artifacts

ci.yml

on: push
Run Unit Tests
23s
Run Unit Tests
Run Integration Tests
22s
Run Integration Tests
Lint Commit Messages
35s
Lint Commit Messages
Fit to window
Zoom out
Zoom in

Annotations

13 warnings
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/.
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/.
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/Greeter.invariants.t.sol#L11
Explicitly mark visibility of state
Lint Commit Messages: test/invariants/Greeter.invariants.t.sol#L11
'HEVM_ADDRESS' should start with _
Lint Commit Messages: test/invariants/Greeter.invariants.t.sol#L12
Explicitly mark visibility of state
Lint Commit Messages: test/invariants/Greeter.invariants.t.sol#L12
'hevm' should start with _
Lint Commit Messages: test/invariants/Greeter.symbolic.t.sol#L19
Function name must be in mixedCase
Lint Commit Messages: test/invariants/Greeter.symbolic.t.sol#L41
Function name must be in mixedCase
Lint Commit Messages: test/unit/Greeter.t.sol#L24
Function name must be in mixedCase
Lint Commit Messages: test/unit/Greeter.t.sol#L31
Function name must be in mixedCase
Lint Commit Messages: test/unit/Greeter.t.sol#L37
Function name must be in mixedCase