Fixed https://github.com/MonashAlexandria/alexandria/issues/3251, use tag instead of branch
Fixed https://github.com/MonashAlexandria/alexandria/issues/3251, use tag instead of branch

MonashAlexandria/mathoid,MonashAlexandria/mathoid