Performance Benchmarking

add documentation of default for --max-nondet-array-length, see #8428 #660

Sign in to view logs

Re-run triggered September 5, 2024 15:14

#8432

lks9:doc_8428

Status Success

Total duration 18m 1s

Artifacts –

performance.yaml

on: pull_request