From 872a0209bde780c2906d0815cbcdae4aa62b1b51 Mon Sep 17 00:00:00 2001 From: Maksym H Date: Tue, 29 Oct 2024 17:23:01 +0000 Subject: [PATCH] cmd-bot-vm - production --- .github/scripts/cmd/cmd.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/cmd/cmd.py b/.github/scripts/cmd/cmd.py index a027d1edf54b..5715a7fbfeda 100755 --- a/.github/scripts/cmd/cmd.py +++ b/.github/scripts/cmd/cmd.py @@ -131,7 +131,7 @@ def main(): failed_benchmarks = {} successful_benchmarks = {} - profile = "release" + profile = "production" print(f'Provided runtimes: {args.runtime}') # convert to mapped dict