Re: [firedrake] Firedrake test script not advancing