diff --git a/ci/Dockerfile b/ci/Dockerfile index eb2b7da..10d5a3a 100644 --- a/ci/Dockerfile +++ b/ci/Dockerfile @@ -23,9 +23,7 @@ RUN apt update && apt install -y \ help2man \ libboost-dev \ libqt5opengl5-dev \ - python3-dev \ - xdotool \ - wmctrl + python3-dev # Install CI tools RUN apt update && apt install -y \