Maxime Guyot 5df48ef8fd [docs] Add CI matrix and script (#5461)
* Rename CI jobs from ubuntu to ubuntu16

* Add CI matrix and script
2019-12-17 07:07:59 -08:00
..
2016-12-14 13:42:19 +01:00
2019-06-10 11:17:05 -07:00
2019-12-04 05:16:57 -08:00