Skip to content
Update Version

Small change push to trigger workflow #1

Sign in to view logs

Small change push to trigger workflow

Small change push to trigger workflow #1

Triggered via push September 27, 2023 03:49
@F-WRunTimeF-WRunTime
pushed b9f747d
_update-deps/runtimeverification/kontrol
Status Failure
Total duration 57s
Artifacts –

test-pr.yml

on: push
Set Image Version
8s
Set Image Version
Test Tool Update
36s
Test Tool Update
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Test Tool Update
Docker pull failed with exit code 1
Test Tool Update
Docker pull failed with exit code 1, back off 9.806 seconds before retry.
Test Tool Update
Docker pull failed with exit code 1, back off 4.943 seconds before retry.