Skip to content
Run GOTO Transcoder (ESBMC)

Add Flux #2

Sign in to view logs

Add Flux

Add Flux #2

Triggered via pull request June 28, 2025 02:18
@nilehmannnilehmann
synchronize #1
flux-submission
Status Cancelled
Total duration 7m 12s
Artifacts –

goto-transcoder.yml

on: pull_request
Verify contracts with goto-transcoder
2m 56s
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.