Skip to content
Test Proofs

Merge pull request #51 from runtimeverification/design-review-report #7

Sign in to view logs

Merge pull request #51 from runtimeverification/design-review-report

Merge pull request #51 from runtimeverification/design-review-report #7

Triggered via push June 24, 2024 10:40
@rkolpakovrkolpakov
pushed 1695bdb
develop
Status Failure
Total duration 11s
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.