Skip to content
CI

ci: quick and dirty medusa action forking echidna-action #86

Sign in to view logs

ci: quick and dirty medusa action forking echidna-action

ci: quick and dirty medusa action forking echidna-action #86

Triggered via push October 15, 2024 21:45
@0xteddybear0xteddybear
pushed 92dd632
ci/medusa-gh-action
Status Success
Total duration 39s
Artifacts –

tests.yml

on: push
Run Unit Tests
14s
Run Unit Tests
Run Integration Tests
20s
Run Integration Tests
Run symbolic execution tests
21s
Run symbolic execution tests
Lint Commit Messages
27s
Lint Commit Messages
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Lint Commit Messages: test/invariants/symbolic/Greeter.t.sol#L7
Line length must be no more than 120 but current length is 126
Lint Commit Messages: src/interfaces/IGreeter.sol#L44
Function name must be in mixedCase
Lint Commit Messages: src/interfaces/IGreeter.sol#L66
Function order is incorrect, external function can not go after external view function (line 56)