Skip to content
Run GOTO Transcoder (ESBMC)

Merge branch 'main' into add-rewards #116

Sign in to view logs

Merge branch 'main' into add-rewards

Merge branch 'main' into add-rewards #116

Triggered via push October 8, 2025 15:36
@feliperodrifeliperodri
pushed 5753768
add-rewards
Status Success
Total duration 16m 29s
Artifacts –

goto-transcoder.yml

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