Run tests on Python 3.12 as well in CI

.gitlab-ci.yml

@@ -81,6 +81,11 @@ unit-tests:python-3.11:
   variables:
     PYTHON_VERSION: '3.11'
 
+unit-tests:python-3.12:
+  <<: *unit-tests
+  variables:
+    PYTHON_VERSION: '3.12'
+
 # Static checks
 check-format:
   stage: test
@@ -228,3 +233,9 @@ build-docker:test:python-3.11:
   variables:
     DOCKERFILE: test/Dockerfile.python-3.11
     IMAGE: test:python-3.11
+
+build-docker:test:python-3.12:
+  extends: .build-docker
+  variables:
+    DOCKERFILE: test/Dockerfile.python-3.12
+    IMAGE: test:python-3.12

test/Dockerfile.python-3.12

@@ -0,0 +1,33 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2007-2024 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
+# This is a Docker image for running the tests.
+# It should be pushed to registry.gitlab.com/sosy-lab/software/benchexec/test
+# and will be used by CI as declared in .gitlab-ci.yml.
+#
+# Commands for updating the image:
+# docker build --pull -t registry.gitlab.com/sosy-lab/software/benchexec/test:python-3.12 - < test/Dockerfile.python-3.12
+# docker push registry.gitlab.com/sosy-lab/software/benchexec/test
+
+FROM python:3.12
+
+# Cannot use apt package python3-pystemd here
+# because these images do not use the Python installed via apt.
+
+RUN apt-get update && apt-get install -y \
+  libsystemd-dev \
+  lxcfs \
+  sudo \
+  && rm -rf /var/lib/apt/lists/*
+
+RUN pip install \
+  coloredlogs \
+  "coverage[toml] >= 5.0" \
+  lxml \
+  pystemd \
+  pytest \
+  pyyaml