Skip to content
Run GOTO Transcoder (ESBMC)

Merge branch 'main' into vecchallenge #33

Sign in to view logs

Merge branch 'main' into vecchallenge

Merge branch 'main' into vecchallenge #33

Triggered via push March 19, 2025 16:36
@thanhnguyen-awsthanhnguyen-aws
pushed df4d0e1
vecchallenge
Status Success
Total duration 19m 13s
Artifacts –

goto-transcoder.yml

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