Current version v.13.5 of dbmsbenchmarker

Beuth-Erdelt · Nov 29, 2023 · 7ce8027 · 7ce8027
1 parent df01862
commit 7ce8027
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/images/benchmarker_dbmsbenchmarker/create_Dockerfiles.py b/images/benchmarker_dbmsbenchmarker/create_Dockerfiles.py
@@ -1,7 +1,7 @@
 import subprocess
 
 #versions = ['v0.12.1','v0.12.2','v0.12.3','v0.12.4','v0.12.5']
-versions = ['v0.13.3','v0.13.4']
+versions = ['v0.13.5']
 
 with open('Dockerfile_template', 'r') as file:
 	dockerfile = file.read()

diff --git a/images/evaluator_dbmsbenchmarker/create_Dockerfiles.py b/images/evaluator_dbmsbenchmarker/create_Dockerfiles.py
@@ -1,7 +1,7 @@
 import subprocess
 
 #versions = ['v0.12.1','v0.12.2','v0.12.3','v0.12.4','v0.12.5']
-versions = ['v0.13.3','v0.13.4']
+versions = ['v0.13.5']
 
 with open('Dockerfile_template', 'r') as file:
 	dockerfile = file.read()