← Back to team overview

dolfin team mailing list archive

Thread
Date

Re: When are ffc updated on the dolfin buildbot?

To: johan.hake@xxxxxxxxx
From: Johannes Ring <johannr@xxxxxxxxx>
Date: Thu, 5 May 2011 22:25:36 +0200
Cc: dolfin@xxxxxxxxxxxxxxxxxxx
In-reply-to: <201105051312.21299.johan.hake@gmail.com>

Do you mean the personal buildbots? They are only updated nightly or
when the force build button is pressed.

Johannes

Follow ups

Re: When are ffc updated on the dolfin buildbot?
From: Johan Hake, 2011-05-05

References

When are ffc updated on the dolfin buildbot?
From: Johan Hake, 2011-05-05