fix(ci): repair the Coq gate on main — coqc not found

fix(ci): repair the Coq gate on main — coqc not found #1367