Re: [firedrake] question about installing tests