[submodule "ci"]
	path = ci
	url = https://gitlab.mpi-sws.org/FP/iris-ci.git