From c81800b0e34af93734bc4d588ebab2fb7390ae40 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Mon, 16 Sep 2024 12:00:53 +0200
Subject: [PATCH] blank line for CI

---
 stainless-ci.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/stainless-ci.sh b/stainless-ci.sh
index 97da8e93e..b7892c1b6 100755
--- a/stainless-ci.sh
+++ b/stainless-ci.sh
@@ -17,7 +17,6 @@ EOM
 }
 
 
-
 # Run the complete CI pipeline
 
 # Record the time to compute the total duration