From 8f60123da13df9dc1713d98ce12a2507019cce33 Mon Sep 17 00:00:00 2001
From: Nikita Karetnikov <nikita@karetnikov.org>
Date: Sat, 18 Nov 2023 19:27:03 +0100
Subject: [PATCH] Restart CI