fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib)#104

hyperpolymath merged 1 commit into

mainhyperpolymath/absolute-zero:mainfrom

ci-agda-fix2hyperpolymath/absolute-zero:ci-agda-fix2Copy head branch name to clipboard