CI

feat: add a withdrawFor function and tests #12

Sign in to view logs

Triggered via push December 30, 2024 19:55

bagelface

bagel-refactor

Status Success

Total duration 1m 11s

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

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

first return value does not have a name

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

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