fix(ci): robust agda-stdlib registration (green the proofs workflow)#103

hyperpolymath merged 1 commit into

mainhyperpolymath/absolute-zero:mainfrom

ci-agda-fixhyperpolymath/absolute-zero:ci-agda-fixCopy head branch name to clipboard