3 Commits

Author	SHA1	Message	Date
Kai Michaelis	0997935517	remove web step in CI	2019-02-22 11:41:46 +01:00
Nico Weichbrodt	5892bf58ad	Update gitlab ci to reflect new name	2018-11-25 13:08:51 +00:00
Nico Weichbrodt	f765cf1915	Add CI file	2018-11-12 14:09:55 +00:00