Skip to content
Benchmarking

Gha runner test - CBMC #507

Sign in to view logs

Gha runner test - CBMC

Gha runner test - CBMC #507

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

bench.yml

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