refactor: set `params_first_multi` for `multiline_func_header` in `fo… #69

Sign in to view logs

Triggered via push September 12, 2024 15:33

0xmoebius

feat/verify-with-pcaversaccio

Status Success

Total duration 1m 12s

Artifacts –

tests.yml

on: push

Run Integration Tests

Run symbolic execution tests

Lint Commit Messages

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)