Run GOTO Transcoder (ESBMC)

Do not clone Kani's submodules #113

Sign in to view logs

Triggered via push September 9, 2025 08:47

tautschnig

workaround-lfs-error

Status Failure

Total duration 1m 28s

Artifacts –

goto-transcoder.yml

on: push

Verify contracts with goto-transcoder

Annotations

1 error

Verify contracts with goto-transcoder

Process completed with exit code 101.