CI

Hoist benchmarking steps into reusable GH action #423

Sign in to view logs

Triggered via push September 8, 2024 05:58

bench_action_refactor

Status Success

Total duration 10m 56s

Billable time 2m

Artifacts –

ci.yml

on: push

Matrix: build_kat

Matrix: cbmc

Matrix: lint