Skip to content
Run GOTO Transcoder (ESBMC)

Automate subtree update #68

Sign in to view logs

Automate subtree update

Automate subtree update #68

Triggered via pull request February 20, 2025 17:35
@tautschnigtautschnig
synchronize #248
tautschnig:automate-subtree-update
Status Success
Total duration 14m 2s
Artifacts –

goto-transcoder.yml

on: pull_request
Verify contracts with goto-transcoder
13m 48s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in