From 102a7e7dd0367c40f859ac2ffc3cb30ee1f54750 Mon Sep 17 00:00:00 2001
From: Remco de Boer <29308176+redeboer@users.noreply.github.com>
Date: Sat, 9 Sep 2023 22:39:30 +0200
Subject: [PATCH] Kick CI