chore(ci): split checkInitImports into its own test#386

chenson2018 wants to merge 3 commits intomainleanprover/cslib:mainfrom

split-runnerleanprover/cslib:split-runnerCopy head branch name to clipboard