From b340a6eb6c23cc4bf622a87d28d9ebfb545f2d1a Mon Sep 17 00:00:00 2001
From: Nikita Karetnikov <nikita@karetnikov.org>
Date: Sat, 18 Nov 2023 12:50:16 +0100
Subject: [PATCH] Restart CI