From ae01e5964b36b98d628a18d092049ab8689faf06 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Thu, 6 Aug 2015 15:21:02 +0200
Subject: [PATCH] Update CODING_GUIDELINES.md

---
 CODING_GUIDELINES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CODING_GUIDELINES.md b/CODING_GUIDELINES.md
index 121ba2a5c..9f3684519 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
-- 
GitLab