From a9d94e9153c12152a0ef2c8c845d27ef084b672f Mon Sep 17 00:00:00 2001
From: Tamas Cservenak <tamas@cservenak.net>
Date: Sun, 12 Nov 2023 23:19:22 +0100
Subject: [PATCH] Dummy commit

---
 .github/workflows/ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 135b71f..75b8672 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,5 @@
 name: Verify
 
-
 on:
   push:
   pull_request: