Skip to content
Run GOTO Transcoder (ESBMC)

Merge branch 'main' into automate-subtree-update #1

Sign in to view logs

Merge branch 'main' into automate-subtree-update

Merge branch 'main' into automate-subtree-update #1

Triggered via push February 19, 2025 18:49
@tautschnigtautschnig
pushed 46c8b34
automate-subtree-update
Status Success
Total duration 14m 19s
Artifacts –

goto-transcoder.yml

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