Skip to content
Update Expected Output

Update Expected Output #14

Sign in to view logs

Update Expected Output

Update Expected Output #14

Manually triggered September 19, 2024 06:50
@anvacaruanvacaru
⁠ 0988c19
_update-deps/runtimeverification/evm-semantics
Status Failure
Total duration 59m 58s
Artifacts –

update-expected-output.yml

on: workflow_dispatch
Update Kontrol expected output
59m 50s
Update Kontrol expected output
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Update Kontrol expected output
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
Update Kontrol expected output
Process completed with exit code 137.
Update Kontrol expected output
The operation was canceled.