From 16a027366e3ed36b81e73146ed5d594c901678e3 Mon Sep 17 00:00:00 2001
From: davhofer <davhofer@ethz.ch>
Date: Wed, 11 Sep 2024 16:15:40 +0200
Subject: [PATCH] chore: rerun github action