Skip to content
Run GOTO Transcoder (ESBMC)

Close Challenges 6 & 14; remove optional correctness work in Challeng… #221

Sign in to view logs

Close Challenges 6 & 14; remove optional correctness work in Challeng…

Close Challenges 6 & 14; remove optional correctness work in Challeng… #221

Triggered via push March 21, 2025 21:42
@github-merge-queuegithub-merge-queue[bot]
pushed 00169b7
main
Status Success
Total duration 18m 24s
Artifacts –

goto-transcoder.yml

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