Run GOTO Transcoder (ESBMC) #1009
Triggered via merge group
September 28, 2025 08:04
tautschnig
Status
Success
Total duration
18m 59s
Artifacts
–
goto-transcoder.yml
on: merge_group
Verify contracts with goto-transcoder
18m 55s