Run GOTO Transcoder (ESBMC)

Goto-transcoder action #3

Sign in to view logs

Triggered via pull request January 29, 2025 06:57

rafaelsamenezes

synchronize #236

rafaelsamenezes:main

Status Success

Total duration 12m 18s

Artifacts 1

goto-transcoder.yml

on: pull_request

Verify contracts with goto-transcoder

Artifacts

Produced during runtime

Name	Size
contracts	586 MB