diff --git a/tests/bench/speedcenter.exec.yaml b/tests/bench/speedcenter.exec.yaml index 3621fa3be1..77cb1bc8a1 100644 --- a/tests/bench/speedcenter.exec.yaml +++ b/tests/bench/speedcenter.exec.yaml @@ -46,9 +46,9 @@ tags: [fast, suite] run_config: <<: *time - cmd: ./deriv.lean.out + cmd: ./deriv.lean.out 10 build_config: - cmd: ./compile.sh deriv.lean 10 + cmd: ./compile.sh deriv.lean - attributes: description: const_fold tags: [fast, suite]