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