Add benchmarking infrastructure to run verification #753

Sign in to view logs

Triggered via pull request August 1, 2023 02:44

tchajed

synchronize #142

tchajed/benchmark-timing

Status Success

Total duration 4m 29s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request

Matrix: Build and test