Skip to content
Run GOTO Transcoder (ESBMC)

Merge subtree update for toolchain nightly-2025-04-24 #390

Sign in to view logs

Merge subtree update for toolchain nightly-2025-04-24

Merge subtree update for toolchain nightly-2025-04-24 #390

Triggered via pull request April 24, 2025 15:37
@carolynzechcarolynzech
synchronize #342
sync-2025-04-24
Status Success
Total duration 17m 27s
Artifacts –

goto-transcoder.yml

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