diff --git a/.github/weeklyBenchScripts/08_processResults.sh b/.github/weeklyBenchScripts/08_processResults.sh index 2421e8774f..7e2c57869d 100755 --- a/.github/weeklyBenchScripts/08_processResults.sh +++ b/.github/weeklyBenchScripts/08_processResults.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -eo pipefail +#set -eo pipefail label=$1 degree=$2