Skip to content
Run GOTO Transcoder (ESBMC)

attempt 1 #5

Sign in to view logs

attempt 1

attempt 1 #5

Triggered via push February 20, 2025 20:11
@carolynzechcarolynzech
pushed 477ad90
sync-2025-02-10
Status Failure
Total duration 29m 51s
Artifacts –

goto-transcoder.yml

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

Annotations

1 error
Verify contracts with goto-transcoder
Process completed with exit code 1.