Add notes regarding CI usage

diff --git a/doc/development.md b/doc/development.md
index 8562b5eb636ba61c500a7618d53c1dafe9daefd4..24dcc222936e782b32be1e7c51b46b86dfcec33e 100644 (file)
--- a/doc/development.md
+++ b/doc/development.md
@@ -7,3 +7,7 @@ The complete suite of unit tests can be launched using the [contrib/test](../con
 ## Complete simulation
 
 A complete system with a DDR3 model can be simulated using the scripts in the [simulation folder](../gram/simulation/). Those simulations are quite slow (a couple of hours for emulating a few ms). [More informations in the README...](../gram/simulation/README.md)
+
+## Using CI
+
+Running the tests inside a CI environment is highly recommended as it might highlight issues that do not happen on your development computer (eg. files you forgot to commit, issues with the latests versions of nMigen, etc.).