Run GOTO Transcoder (ESBMC)

Merge branch 'main' into update-kani-metrics #18

Sign in to view logs

Triggered via push February 4, 2025 23:43

carolynzech

update-kani-metrics

Status Success

Total duration 11m 37s

Artifacts –

goto-transcoder.yml

on: push

Verify contracts with goto-transcoder