Run GOTO Transcoder (ESBMC)

Goto-transcoder action (#236) #7

Sign in to view logs

Triggered via push January 29, 2025 21:34

github-merge-queue[bot]

main

Status Success

Total duration 11m 15s

Artifacts –

goto-transcoder.yml

on: push

Verify contracts with goto-transcoder