Skip to content
CI

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

Sign in to view logs

test(certora): Karma.totalDistributorAllocation can only increase

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

Triggered via pull request March 6, 2025 15:08
@gravityblastgravityblast
opened #166
certora-total-allocation
Status Success
Total duration 1m 42s
Artifacts –

test.yml

on: pull_request
Foundry project
1m 34s
Foundry project
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Foundry project
Cache not found for keys: linux-foundry-chain-fork-check-51e707deca5b86f75b10979a44c55622ea1d31f0, linux-foundry-chain-fork-check-, linux-foundry-chain-fork-