Skip to content
CI

feat: symb exec halmos #102

Sign in to view logs

feat: symb exec halmos

feat: symb exec halmos #102

Triggered via push May 16, 2024 11:47
@simon-somethingsimon-something
pushed ed45d89
feat/invariants
Status Success
Total duration 47s
Artifacts –

ci.yml

on: push
Run Unit Tests
33s
Run Unit Tests
Run Integration Tests
31s
Run Integration Tests
Lint Commit Messages
36s
Lint Commit Messages
Fit to window
Zoom out
Zoom in

Annotations

13 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 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/Greeter.invariants.t.sol#L9
Function name must be in mixedCase
Lint Commit Messages: test/invariants/Greeter.invariants.t.sol#L13
Function order is incorrect, public function can not go after public view function (line 9)
Lint Commit Messages: test/invariants/Greeter.invariants.t.sol#L13
Function name must be in mixedCase
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#L31
Function name must be in mixedCase
Lint Commit Messages: test/invariants/Greeter.symbolic.t.sol#L49
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