blank line for CI

epfl-lara · Sep 16, 2024 · c81800b · c81800b
1 parent 2484eab
commit c81800b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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