Skip to content
Run GOTO Transcoder (ESBMC)

Subtree update automation: create merge PR even when subtree/library is up-to-date #332

Sign in to view logs

Subtree update automation: create merge PR even when subtree/library is up-to-date

Subtree update automation: create merge PR even when subtree/library is up-to-date #332

Triggered via pull request April 15, 2025 20:36
@tautschnigtautschnig
synchronize #326
tautschnig:disentable-update-logic
Status Success
Total duration 17m 4s
Artifacts –

goto-transcoder.yml

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