Skip to content
Test Proofs

more tests and lemmas #49

Sign in to view logs

more tests and lemmas

more tests and lemmas #49

Triggered via push July 29, 2024 16:55
@PetarMaxPetarMax
pushed 15351bc
tests-on-client-code
Status Failure
Total duration 15s
Artifacts –

lido-ci.yml

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

Annotations

1 error
test
Process completed with exit code 1.