From 929c06ac68b525739de56ef7a6021ea7d82bd581 Mon Sep 17 00:00:00 2001
From: Remco de Boer <29308176+redeboer@users.noreply.github.com>
Date: Sat, 9 Dec 2023 02:04:36 +0100
Subject: [PATCH] Kick CI