Skip to content
Benchmarking

Gha runner test - CBMC #505

Sign in to view logs

Gha runner test - CBMC

Gha runner test - CBMC #505

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

bench.yml

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