CI

test: add unit tests for added functionality #16

Sign in to view logs

Triggered via push January 15, 2025 17:18

bagelface

add-usability-functionality

Status Success

Total duration 1m 8s

Artifacts –

tests.yml

on: push

Run Integration Tests

Run symbolic execution tests

Lint Commit Messages

Annotations

11 warnings

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 Integration 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

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#L66

first return value does not have a name

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

second return value does not have a name

Lint Commit Messages: test/integration/SavingCircles.t.sol#L5

Variable "ProxyAdmin" is unused

Lint Commit Messages: test/integration/SavingCircles.t.sol#L6

Variable "TransparentUpgradeableProxy" is unused

Lint Commit Messages: test/integration/SavingCircles.t.sol#L7

Variable "Test" is unused

Echidna Test

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