Add stETH assumptions and invariants #60

Sign in to view logs

Summary
Jobs
- test
Run details
- Usage
- Workflow file

Triggered via push August 6, 2024 20:20

lucasmt

tests-on-client-code

Status Success

Total duration 11s

Artifacts –

lido-ci.yml

on: push