From 8c1f0ee644e683db847e5f2e2d1b57a5bbba3d39 Mon Sep 17 00:00:00 2001 From: Ondrej Novak Date: Tue, 9 Apr 2024 13:12:48 +0200 Subject: [PATCH] Force CI --- run-ci | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 run-ci diff --git a/run-ci b/run-ci new file mode 100644 index 0000000..e69de29