Jirka Borovec cbc4f6f8a4 add CI for building dockers (#3383) ... * rename * fix badges * add docker build * mergify * update * env * ci * times * CI * name * comment		2020-09-10 18:38:29 -04:00
..
Dockerfile	add CI for building dockers (#3383)	2020-09-10 18:38:29 -04:00