Run GOTO Transcoder (ESBMC)

Fix subtree automation for submodules when there were no changes #99

Sign in to view logs

Triggered via push June 25, 2025 18:47

tautschnig

fixup-submodule-automation

Status Success

Total duration 22m 17s

Artifacts –

goto-transcoder.yml

on: push

Verify contracts with goto-transcoder