Skip to content
Test Proofs

lemma corrections #76

Sign in to view logs

lemma corrections

lemma corrections #76

Triggered via push August 21, 2024 11:16
@PetarMaxPetarMax
pushed 63727d8
tests-on-client-code
Status Success
Total duration 11s
Artifacts –

lido-ci.yml

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