Re: [firedrake] Measure fieldsplit/AMG setup time separately