CI

refactor: simplify business logic, rename errors, remove redundant ch… #8

Sign in to view logs

Triggered via push December 23, 2024 21:46

bagelface

bagel-refactor

Status Success

Total duration 1m 15s

Artifacts –

tests.yml

on: push

Run Integration Tests

Run symbolic execution tests

Lint Commit Messages

Annotations

11 warnings

Run Integration Tests

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Lint Commit Messages

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Lint Commit Messages: src/interfaces/IGreeter.sol#L66

Function order is incorrect, external function can not go after external view function (line 56)

Lint Commit Messages: src/interfaces/ISavingCircles.sol#L51

first return value does not have a name

Lint Commit Messages: src/interfaces/ISavingCircles.sol#L51

second return value does not have a name

Lint Commit Messages: test/unit/Greeter.t.sol#L4

Variable "IERC20" is unused

Lint Commit Messages: test/unit/Greeter.t.sol#L5

Variable "Greeter" is unused

Lint Commit Messages: test/unit/Greeter.t.sol#L5

Variable "IGreeter" is unused

Run Unit Tests

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Run symbolic execution tests

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Echidna Test

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636