Skip to content
Test Proofs

lemma correction #75

Sign in to view logs

lemma correction

lemma correction #75

Triggered via push August 21, 2024 10:00
@PetarMaxPetarMax
pushed 272c711
tests-on-client-code
Status Success
Total duration 13s
Artifacts –

lido-ci.yml

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