diff --git a/images/benchmarker_dbmsbenchmarker/create_Dockerfiles.py b/images/benchmarker_dbmsbenchmarker/create_Dockerfiles.py index 2f313ad5..f472fc86 100644 --- 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 index 37339679..97e32bd8 100644 --- 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()