Skip to content
Test PR

Small change push to trigger workflow #6

Sign in to view logs

Small change push to trigger workflow

Small change push to trigger workflow #6

Triggered via pull request September 28, 2023 23:02
@F-WRunTimeF-WRunTime
synchronize #3
_update-deps/runtimeverification/kontrol
Status Failure
Total duration 52s
Artifacts –

test-pr.yml

on: pull_request
Test Tool Update
46s
Test Tool Update
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test Tool Update
Process completed with exit code 1.