chore(CI): disable the check_decl step for now - #148

chore(CI): disable the check_decl step for now#148

grunweg wants to merge 1 commit into

masterleanprover-community/sphere-eversion:masterfrom

disable-checkdeclleanprover-community/sphere-eversion:disable-checkdeclCopy head branch name to clipboard