Skip to content
Run GOTO Transcoder (ESBMC)

Track metrics for core and std crates #4

Sign in to view logs

Track metrics for core and std crates

Track metrics for core and std crates #4

Triggered via push February 24, 2025 15:46
@tautschnigtautschnig
pushed 8bfdd7c
metrics-std
Status Success
Total duration 16m 2s
Artifacts –

goto-transcoder.yml

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