Run GOTO Transcoder (ESBMC)

Goto-transcoder action (#236) #6

Sign in to view logs

Triggered via push January 29, 2025 20:47

github-merge-queue[bot]

gh-readonly-queue/main/pr-236-01e49769cfe20db89e4eeee9c0cbcbc5681bff3e

Status Success

Total duration 10m 55s

Artifacts –

goto-transcoder.yml

on: push

Verify contracts with goto-transcoder