Skip to content
Run GOTO Transcoder (ESBMC)

Merge branch 'main' into update-readme-challenge-1 #118

Sign in to view logs

Merge branch 'main' into update-readme-challenge-1

Merge branch 'main' into update-readme-challenge-1 #118

Triggered via push October 8, 2025 15:52
@feliperodrifeliperodri
pushed 994cbf4
update-readme-challenge-1
Status Success
Total duration 38m 22s
Artifacts –

goto-transcoder.yml

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