diff -r c2b6354f036f -r 02fa0f8484d7 tests/tools/Docker/build_docker_image.sh
--- a/tests/tools/Docker/build_docker_image.sh	Tue Aug 01 21:04:00 2023 +0200
+++ b/tests/tools/Docker/build_docker_image.sh	Tue Aug 01 23:07:39 2023 +0200
@@ -3,6 +3,7 @@
 set -e
 
 echo "Building docker image"
+cp -f ../../../requirements.txt requirements.txt
 docker build \
     --build-arg UID=$(id -u) \
     --build-arg GID=$(id -g) \