``verif-scheduler`` as submodule