chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI#102

hyperpolymath merged 1 commit into

mainhyperpolymath/absolute-zero:mainfrom

descriptiles-cihyperpolymath/absolute-zero:descriptiles-ciCopy head branch name to clipboard