Skip to content
Benchmarking

Gha runner test - CBMC #509

Sign in to view logs

Gha runner test - CBMC

Gha runner test - CBMC #509

Triggered via pull request January 30, 2025 18:47
@dougchdougch
synchronize #5068
dougch:gha_runner
Status Success
Total duration 18m 43s
Artifacts –

bench.yml

on: pull_request
bench
18m 30s
bench
Fit to window
Zoom out
Zoom in