Skip to content
Test PR

Small change push to trigger workflow #12

Sign in to view logs

Small change push to trigger workflow

Small change push to trigger workflow #12

Triggered via pull request September 29, 2023 15:50
@F-WRunTimeF-WRunTime
synchronize #3
_update-deps/runtimeverification/kontrol
Status Failure
Total duration 2m 7s
Artifacts –

test-pr.yml

on: pull_request
Test Proofs
1m 57s
Test Proofs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test Proofs
Process completed with exit code 1.