image:coq:8.5stages:-iris-iris-atomiciris:stage:iristags:-coqscript:-coqc -v# see if the Iris submodule needs cleaning, then build it-'gitsubmodulestatusiris|egrep"^"||(gitsubmoduleupdate--initiris&&cdiris&&gitclean-xfd)'-'cdiris&&make-j8'only:-master-ciiris-atomic:stage:iris-atomictags:-coqscript:-coqc -v# prepare the environment, safeguard against outdated submodule-'gitsubmodulestatusiris|egrep"^"'-'ln-sirisiris-enabled'# build local repo-'timemake-j8'only:-master-ci