From 77c8c9b283f9c96500f325972fa7402b3c5e8c8d Mon Sep 17 00:00:00 2001
From: Paolo Capriotti <paolo@capriotti.io>
Date: Mon, 9 Oct 2023 16:48:50 +0200
Subject: [PATCH] Hi CI