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

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

hyperpolymath merged 1 commit into

mainhyperpolymath/affinescript:mainfrom

fix/coq-gate-containerhyperpolymath/affinescript:fix/coq-gate-containerCopy head branch name to clipboard