64bit-integer…6082dc7d3f0532196c2127b…

Jan 15 2019

Still missing some info
6082dc7d3f05
·richart on Jan 15 2019, 17:29.
This one should be the one
0eabd86736a9
·richart on Jan 15 2019, 17:25.
Adding the hosts informations
b14a84cff3ab
·richart on Jan 15 2019, 17:22.
Missong python packages for the CI
5c04545be6c0
·richart on Jan 15 2019, 16:51.
Cannot move the Jenkinsfile
e84efcd2368d
·richart on Jan 15 2019, 16:49.
Wrote the ci scripts in python
e6ee3b6c943b
·richart on Jan 15 2019, 16:46.