Skip to content
Update Expected Output

Update Expected Output #8

Sign in to view logs

Update Expected Output

Update Expected Output #8

Manually triggered September 7, 2024 20:28
@ehildenbehildenb
⁠ 90e2106
_update-deps/runtimeverification/evm-semantics
Status Failure
Total duration 43m 44s
Artifacts –

update-expected-output.yml

on: workflow_dispatch
Update Kontrol expected output
43m 38s
Update Kontrol expected output
Fit to window
Zoom out
Zoom in

Annotations

1 error
Update Kontrol expected output
Process completed with exit code 2.