Skip to content
Run GOTO Transcoder (ESBMC)

Add workflow #1

Sign in to view logs

Add workflow

Add workflow #1

Triggered via push June 28, 2025 02:18
@nilehmannnilehmann
pushed 5a840a0
flux-submission
Status Cancelled
Total duration 6m 5s
Artifacts –

goto-transcoder.yml

on: push
Verify contracts with goto-transcoder
5m 59s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Verify contracts with goto-transcoder
The operation was canceled.
Verify contracts with goto-transcoder
The run was canceled by @nilehmann.
Run GOTO Transcoder (ESBMC)
The run was canceled by @nilehmann.