← Back to team overview

dolfin team mailing list archive

Thread
Date

benchbot

To: DOLFIN Mailing List <dolfin@xxxxxxxxxxxxxxxxxxx>
From: "Garth N. Wells" <gnw20@xxxxxxxxx>
Date: Wed, 31 Oct 2012 21:19:59 +0000

Is something up with the benchbot? It hasn't run for some time.

Garth

Follow ups

Re: benchbot
From: Johannes Ring, 2012-11-01