fix(ci): drop flaky Agda job — reliable green Coq + Z3#105

hyperpolymath merged 2 commits into

mainhyperpolymath/absolute-zero:mainfrom

ci-drop-agdahyperpolymath/absolute-zero:ci-drop-agdaCopy head branch name to clipboard