Skip to content
CI

chore(certora): add sumOfBalancesIsTotalStaked invariant #43

Sign in to view logs

chore(certora): add sumOfBalancesIsTotalStaked invariant

chore(certora): add sumOfBalancesIsTotalStaked invariant #43

Triggered via pull request October 9, 2024 10:01
@0x-r4bbit0x-r4bbit
synchronize #42
fv/sum-of-balances-total-staked
Status Success
Total duration 5m 47s
Artifacts –

ci.yml

on: pull_request
lint
18s
lint
build
14s
build
test
21s
test
coverage
25s
coverage
verify
5m 11s
verify
Fit to window
Zoom out
Zoom in

Annotations

14 warnings
lint
The following actions use a deprecated Node.js version and will be forced to run on node20: pnpm/action-setup@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
lint: test/RewardsStreamer.t.sol#L4
imported name console is not used
lint: test/RewardsStreamer.t.sol#L9
Explicitly mark visibility of state
lint: test/RewardsStreamer.t.sol#L10
Explicitly mark visibility of state
lint: test/RewardsStreamer.t.sol#L13
Explicitly mark visibility of state
lint: test/RewardsStreamer.t.sol#L14
Explicitly mark visibility of state
lint: test/RewardsStreamer.t.sol#L15
Explicitly mark visibility of state
lint: test/RewardsStreamer.t.sol#L16
Explicitly mark visibility of state
lint: test/RewardsStreamer.t.sol#L17
Explicitly mark visibility of state
lint: test/RewardsStreamerMP.t.sol#L4
imported name console is not used
lint: test/RewardsStreamerMP.t.sol#L7
global import of path forge-std/console.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
coverage
The following actions use a deprecated Node.js version and will be forced to run on node20: codecov/codecov-action@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
verify
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-python@v2, actions/setup-java@v1, pnpm/action-setup@v2, actions/setup-node@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/