diff --git a/CODING_GUIDELINES.md b/CODING_GUIDELINES.md
index 121ba2a5ca0ac61937cddafc8b91a7f70dec98e0..9f3684519791ed111c19c9e8101b6e0c89a13c90 100644
--- a/CODING_GUIDELINES.md
+++ b/CODING_GUIDELINES.md
@@ -55,7 +55,7 @@ Leon tests are currently separated in three layers:
 - integration tests
 - regression tests
 
-```sbt test``` runs only unit tests.
+```sbt test``` runs only unit tests. Please do not push changes without testing them with ```sbt test integration:test```.
 
 
 ### Unit Tests