Don't build Idris twice in CI