4 Commits

Author	SHA1	Message	Date
Mirek Kratochvil	3cca434b03	switch to a temporary validator image location	2022-05-08 20:19:52 +02:00
Mirek Kratochvil	be828d255d	use the prebuilt container for CIs	2022-05-08 13:23:15 +02:00
Mirek Kratochvil	d3cfd18a30	also use latexmk in CIs	2021-04-06 08:09:24 +02:00
Vit Kabele	bd08da9ac4	Add the CI configurations	2021-04-06 08:09:24 +02:00