bug-fix-in…7e1692a82d1c70d433e1742…

Jan 15 2019

Still missing some info
7e1692a82d1c
·richart on Jan 15 2019, 17:29.
This one should be the one
60469529da54
·richart on Jan 15 2019, 17:25.
Adding the hosts informations
0a84ba3e1fde
·richart on Jan 15 2019, 17:22.
Missong python packages for the CI
c6d666b494a5
·richart on Jan 15 2019, 16:51.
Cannot move the Jenkinsfile
8bab54cdfa3c
·richart on Jan 15 2019, 16:49.
Wrote the ci scripts in python
6d6bbb1d4058
·richart on Jan 15 2019, 16:46.