Skip to content
Test Proofs

Merge pull request #48 from runtimeverification/rv/update #1

Sign in to view logs

Merge pull request #48 from runtimeverification/rv/update

Merge pull request #48 from runtimeverification/rv/update #1

Triggered via push June 13, 2024 11:41
@rkolpakovrkolpakov
pushed 2a382ff
develop
Status Failure
Total duration 13s
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.