Benchmark regression checks

fix: tcWholeProg updates metadata of ADT parameter selections (#1138) #229

Sign in to view logs

Triggered via push September 18, 2023 16:05

github-merge-queue[bot]

main

Status Success

Total duration 1m 24s

Artifacts –

benchmark-action.yaml

on: push

Performance regression check