mirror of
https://github.com/space-wizards/RobustToolbox.git
synced 2026-02-14 19:29:36 +01:00
benchmark script (#2745)
* benchmark script * more changes * oopsie * adjust workflow * Put a concurrency limit on the benchmarks action * Update run_benchmarks.py Co-authored-by: Paul <ritter.paul1+git@googlemail.com> Co-authored-by: Pieter-Jan Briers <pieterjan.briers@gmail.com>
This commit is contained in:
34
Tools/run_benchmarks.py
Normal file
34
Tools/run_benchmarks.py
Normal file
@@ -0,0 +1,34 @@
|
||||
from argparse import ArgumentParser
|
||||
from os import nice, environ
|
||||
from subprocess import run
|
||||
from shutil import rmtree
|
||||
|
||||
parser = ArgumentParser()
|
||||
parser.add_argument("address", type=str)
|
||||
parser.add_argument("port", type=int)
|
||||
parser.add_argument("user", type=str)
|
||||
parser.add_argument("pwd", type=str)
|
||||
parser.add_argument("commit", type=str)
|
||||
parser.add_argument("--database", type=str, default="benchmarks")
|
||||
parser.add_argument("--repo", type=str, default="https://github.com/space-wizards/RobustToolbox.git")
|
||||
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("dotnet restore", cwd="repo_dir/Robust.Benchmarks", shell=True)
|
||||
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
|
||||
})
|
||||
rmtree("repo_dir")
|
||||
Reference in New Issue
Block a user