From 1ac51f9621e9ef2330d8e6c3777fe90e73164f67 Mon Sep 17 00:00:00 2001 From: krzysztofpaliga Date: Wed, 16 Aug 2023 06:39:23 +0200 Subject: [PATCH] Changes degree parameter for super cicrcuit --- .github/weeklyBenchScripts/bench-results-local-trigger.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/weeklyBenchScripts/bench-results-local-trigger.sh b/.github/weeklyBenchScripts/bench-results-local-trigger.sh index 7f43aa33da..b1c775b171 100644 --- a/.github/weeklyBenchScripts/bench-results-local-trigger.sh +++ b/.github/weeklyBenchScripts/bench-results-local-trigger.sh @@ -60,7 +60,7 @@ for word in $words; do super) # Run script for super echo "Running script for super..." - run_single_benchmark 9 super + run_single_benchmark 19 super ;; bytecode) # Run script for bytecode