Skip to content
Benchmarking

Gha runner test - CBMC #503

Sign in to view logs

Gha runner test - CBMC

Gha runner test - CBMC #503

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

bench.yml

on: pull_request
bench
18m 20s