Skip to content
Test Proofs

adjusting lemmas to Kontrol 1.0 #78

Sign in to view logs

adjusting lemmas to Kontrol 1.0

adjusting lemmas to Kontrol 1.0 #78

Triggered via push August 24, 2024 18:25
@PetarMaxPetarMax
pushed a6eb909
tests-on-client-code
Status Success
Total duration 11s
Artifacts –

lido-ci.yml

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