CI

test(certora): Karma.totalDistributorAllocation can only increase #424

Sign in to view logs

Triggered via pull request March 6, 2025 15:08

opened #166

certora-total-allocation

Status Cancelled

Total duration 44s

Artifacts –

ci.yml

on: pull_request

Matrix: verify

Annotations

8 errors and 8 warnings

Canceling since a higher priority waiting request for 'CI-refs/pull/166/merge' exists

verify (verify:emergency_mode)

Canceling since a higher priority waiting request for 'CI-refs/pull/166/merge' exists

Canceling since a higher priority waiting request for 'CI-refs/pull/166/merge' exists

A task was canceled.

verify (verify:karma)

Canceling since a higher priority waiting request for 'CI-refs/pull/166/merge' exists

verify (verify:karma)

A task was canceled.

verify (verify:rewards_streamer_mp)

Canceling since a higher priority waiting request for 'CI-refs/pull/166/merge' exists

verify (verify:rewards_streamer_mp)

The operation was canceled.

lint: script/DeployKarmaNFT.s.sol#L7

imported name ERC1967Proxy is not used

lint: test/Karma.t.sol#L9

imported name Ownable is not used

lint: test/KarmaNFT.t.sol#L6

imported name Ownable is not used

lint: test/nft-metadata-generators/NFTMetadataGeneratorSVG.t.sol#L6

imported name Ownable is not used

lint: test/nft-metadata-generators/NFTMetadataGeneratorURL.t.sol#L6

imported name Ownable is not used

lint: test/RewardsStreamerMP.t.sol#L10

imported name Ownable is not used

Cache not found for keys: linux-foundry-chain-fork-lint-51e707deca5b86f75b10979a44c55622ea1d31f0, linux-foundry-chain-fork-lint-, linux-foundry-chain-fork-

Cache not found for keys: linux-foundry-chain-fork-build-51e707deca5b86f75b10979a44c55622ea1d31f0, linux-foundry-chain-fork-build-, linux-foundry-chain-fork-