Chore/certora specs #276
Triggered via pull request
January 24, 2025 13:47
0x-r4bbit
Status
Cancelled
Total duration
12m 22s
Artifacts
–
Annotations
2 errors and 16 warnings
|
verify (verify:rewards_streamer_mp)
Canceling since a higher priority waiting request for 'CI-refs/pull/114/merge' exists
|
|
verify (verify:rewards_streamer_mp)
The operation was canceled.
|
|
lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
lint:
src/RewardsStreamerMP.sol#L36
Variable name must be in mixedCase
|
|
lint:
test/mocks/StackOverflowStakeManager.sol#L16
Variable name must be in mixedCase
|
|
lint:
test/mocks/StackOverflowStakeManager.sol#L44
Code contains empty blocks
|
|
lint:
test/mocks/StackOverflowStakeManager.sol#L47
Code contains empty blocks
|
|
lint:
test/mocks/StackOverflowStakeManager.sol#L50
Code contains empty blocks
|
|
lint:
test/mocks/StackOverflowStakeManager.sol#L53
Code contains empty blocks
|
|
lint:
test/mocks/StackOverflowStakeManager.sol#L69
Code contains empty blocks
|
|
lint:
test/mocks/XPProviderMock.sol#L7
Main key parameter in mapping userXPShare is not named
|
|
lint:
test/mocks/XPProviderMock.sol#L7
Value parameter in mapping userXPShare is not named
|
|
lint:
test/RewardsStreamerMP.t.sol#L14
imported name StakeManagerProxy is not used
|
|
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
verify (verify:xp_token)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
verify (verify:emergency_mode)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|