Skip to content
Manual CI

Manual CI #66

Sign in to view logs

Manual CI

Manual CI #66

Manually triggered May 1, 2024 21:42
@robin-awsrobin-aws
⁠ 9e7120b
robin-aws/cut-dafny-issues-on-nightly-failures
Status Failure
Total duration 10s
Artifacts –

manual.yml

on: workflow_dispatch
cut-issue-on-failure
2s
cut-issue-on-failure
Fit to window
Zoom out
Zoom in

Annotations

1 error
cut-issue-on-failure
Process completed with exit code 1.