5 Commits

Author	SHA1	Message	Date
Tomas Susanka	ebe54ffe19	ci: change docker image's url to new gitlab ... (cherry picked from commit 80601994bf)	2019-08-05 15:54:28 +02:00
Pavol Rusnak	5f1586e049	core: regenerate templates	2019-05-23 20:24:44 +02:00
matejcik	fdd92404d2	ci: run codegen checks	2019-05-17 15:49:01 +02:00
matejcik	fbd6e435b8	ci: simplify running defs checks	2019-05-13 18:00:43 +02:00
Tomas Susanka	7c58d7d24e	ci: split gitlab configuration files and store them in a 'ci' folder ... The core/build-docker.sh si broken, but so it was already in master and is tracked to be fixed in #108.	2019-04-28 09:31:41 +02:00