From 90862f8cba9b89acfef80d5382de1acb6d2d4c47 Mon Sep 17 00:00:00 2001
From: Christoph Gerum <christoph.gerum@uni-tuebingen.de>
Date: Fri, 23 Aug 2024 09:44:58 +0200
Subject: [PATCH] Enable docker again

---
 .github/workflows/publish_images.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/publish_images.yml b/.github/workflows/publish_images.yml
index 00b92f4a..e6387a35 100644
--- a/.github/workflows/publish_images.yml
+++ b/.github/workflows/publish_images.yml
@@ -44,9 +44,9 @@ jobs:
             - '3.10'
             - '3.11'
             #- '3.12'
-          #include:
-          #  - target: hannah
-          #    python_version: 3.12 # THis is ignored
+          include:
+            - target: hannah
+              python_version: 3.12 # THis is ignored
 
 
     # Sets the permissions granted to the `GITHUB_TOKEN` for the actions in this job.