Skip to content
Run GOTO Transcoder (ESBMC)

Update Kani Metrics (#519) #91

Sign in to view logs

Update Kani Metrics (#519)

Update Kani Metrics (#519) #91

Triggered via push December 12, 2025 21:31
@AlexLB99AlexLB99
pushed 3b82716
main
Status Success
Total duration 15m 53s
Artifacts –

goto-transcoder.yml

on: push
Verify contracts with goto-transcoder
15m 49s
Verify contracts with goto-transcoder
Fit to window
Zoom out
Zoom in