From 5ec12e09400f0ff9bc4f101adf845b572594c765 Mon Sep 17 00:00:00 2001
From: Martin Bernstorff <martinbernstorff@gmail.com>
Date: Tue, 23 Jan 2024 19:32:04 +0000
Subject: [PATCH] ci: run ci