From 05b21fcfcc6a59a205804680b90468bc523e8b80 Mon Sep 17 00:00:00 2001 From: Pieter-Jan Briers Date: Tue, 10 May 2022 11:54:25 +0200 Subject: [PATCH] Benchmark CI attempt 5 --- Tools/run_benchmarks.py | 23 +++++++++++------------ 1 file changed, 11 insertions(+), 12 deletions(-) diff --git a/Tools/run_benchmarks.py b/Tools/run_benchmarks.py index 84368cd5e..631740c86 100644 --- a/Tools/run_benchmarks.py +++ b/Tools/run_benchmarks.py @@ -15,20 +15,19 @@ parser.add_argument("--project", type=str, default="Robust.Benchmarks") args = parser.parse_args() -run(f"git clone {args.repo} repo_dir", shell=True) -run(f"git checkout {args.commit}", shell=True) -run("git submodule update --init --recursive", cwd="repo_dir", shell=True) +run(f"git clone {args.repo} repo_dir --recursive", shell=True) +run(f"git checkout {args.commit}", shell=True, cwd="repo_dir") run("dotnet restore", cwd="repo_dir/Robust.Benchmarks", shell=True) +run_env = environ.copy() +run_env["ROBUST_BENCHMARKS_ENABLE_SQL"] = "1" +run_env["ROBUST_BENCHMARKS_SQL_ADDRESS"] = args.address +run_env["ROBUST_BENCHMARKS_SQL_PORT"] = str(args.port) +run_env["ROBUST_BENCHMARKS_SQL_USER"] = args.user +run_env["ROBUST_BENCHMARKS_SQL_PASSWORD"] = args.pwd +run_env["ROBUST_BENCHMARKS_SQL_DATABASE"] = args.database +run_env["GITHUB_SHA"] = args.commit run("dotnet run --filter '*' --configuration Release", cwd=f"repo_dir/{args.project}", shell=True, - env=environ | { - "ROBUST_BENCHMARKS_ENABLE_SQL": "1", - "ROBUST_BENCHMARKS_SQL_ADDRESS": args.address, - "ROBUST_BENCHMARKS_SQL_PORT": str(args.port), - "ROBUST_BENCHMARKS_SQL_USER": args.user, - "ROBUST_BENCHMARKS_SQL_PASSWORD": args.pwd, - "ROBUST_BENCHMARKS_SQL_DATABASE": args.database, - "GITHUB_SHA": args.commit - }) + env=run_env) rmtree("repo_dir")