Skip to content
Test Proofs

polishing of lemmas #35

Sign in to view logs

polishing of lemmas

polishing of lemmas #35

Triggered via push July 10, 2024 20:23
@PetarMaxPetarMax
pushed bc55c63
tests-on-client-code
Status Success
Total duration 12s
Artifacts –

lido-ci.yml

on: push
test
3s
test
Fit to window
Zoom out
Zoom in