Still disable `Agda` (#5826)
Still disable `Agda` (#5826)

iand675/stackage,michalkonecny/stackage,jonschoning/stackage,soenkehahn/stackage,simonmichael/stackage,Daniel-Diaz/stackage,mrkkrp/stackage,fpco/stackage