Skip to content
Update Expected Output

Update Expected Output #2

Sign in to view logs

Update Expected Output

Update Expected Output #2

Re-run triggered August 21, 2024 19:32
@palinatolmachpalinatolmach
⁠ 92f9653
_update-deps/runtimeverification/evm-semantics
Status Failure
Total duration 34m 1s
Artifacts –

update-expected-output.yml

on: workflow_dispatch
Update Kontrol expected output
31m 22s
Update Kontrol expected output
Fit to window
Zoom out
Zoom in

Annotations

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