Skip to content
Update Expected Output

Update Expected Output #16

Sign in to view logs

Update Expected Output

Update Expected Output #16

Re-run triggered September 23, 2024 08:09
@palinatolmachpalinatolmach
⁠ 540d537
_update-deps/runtimeverification/evm-semantics
Status Failure
Total duration 1h 0m 28s
Artifacts –

update-expected-output.yml

on: workflow_dispatch
Update Kontrol expected output
1h 0m
Update Kontrol expected output
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Update Kontrol expected output
The job running on runner github-runner-25 has exceeded the maximum execution time of 60 minutes.
Update Kontrol expected output
The operation was canceled.