From f6d22fdafd9f03077207f4faf4b6a5763580cd05 Mon Sep 17 00:00:00 2001 From: SlightlyCircuitous <71394296+SlightlyCircuitous@users.noreply.github.com> Date: Sat, 28 Feb 2026 10:05:08 -0500 Subject: [PATCH] Delete .ci/Servatrice_Debian11 directory --- .ci/Servatrice_Debian11/Dockerfile | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 .ci/Servatrice_Debian11/Dockerfile diff --git a/.ci/Servatrice_Debian11/Dockerfile b/.ci/Servatrice_Debian11/Dockerfile deleted file mode 100644 index fadc9e0e7..000000000 --- a/.ci/Servatrice_Debian11/Dockerfile +++ /dev/null @@ -1,21 +0,0 @@ -FROM debian:11 - -RUN apt-get update && \ - DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends \ - build-essential \ - ccache \ - clang-format \ - cmake \ - file \ - g++ \ - git \ - libmariadb-dev-compat \ - libprotobuf-dev \ - libqt5sql5-mysql \ - libqt5websockets5-dev \ - ninja-build \ - protobuf-compiler \ - qttools5-dev \ - qttools5-dev-tools \ - && apt-get clean \ - && rm -rf /var/lib/apt/lists/*