Skip to content

Add initial LockstakeEngine/Urn/Clipper logic + tests #40

Add initial LockstakeEngine/Urn/Clipper logic + tests

Add initial LockstakeEngine/Urn/Clipper logic + tests #40

Annotations

2 warnings

Certora (engine-multicall)

succeeded Nov 12, 2024 in 11m 10s
Set up job
1s
Checkout
4s
Run actions/setup-java@v2
1s
Set up Python 3.8
0s
Install solc-select
3s
Solc Select 0.8.21
1s
Solc Select 0.6.12
0s
Solc Select 0.5.12
0s
Install Certora
4s
Verify engine-multicall
10m 54s
Post Set up Python 3.8
0s
Post Run actions/setup-java@v2
0s
Post Checkout
0s
Complete job
0s