Skip to content
Test Proofs

adding auxiliary lemmas #81

Sign in to view logs

adding auxiliary lemmas

adding auxiliary lemmas #81

Triggered via push September 2, 2024 10:04
@PetarMaxPetarMax
pushed 088597b
tests-on-client-code
Status Failure
Total duration 12s
Artifacts –

lido-ci.yml

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

Annotations

1 error
test
Process completed with exit code 1.