Skip to content
Benchmarking

Gha runner test - CBMC #510

Sign in to view logs

Gha runner test - CBMC

Gha runner test - CBMC #510

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

bench.yml

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