CI

Merge pull request #6 from BreadchainCoop/add-usability-functionality #21

Sign in to view logs

Triggered via push January 20, 2025 04:50

RonTuretzky

15-improve-mapping-lookups

Status Success

Total duration 1m 2s

Artifacts –

tests.yml

on: push

Run Integration Tests

Run symbolic execution tests

Lint Commit Messages

Annotations

11 warnings

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

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

Run Unit 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