On Wed, 4 Jun, 2014 at 12:20 PM, Martin Sandve Alnæs <[email protected]> wrote:
I've pushed some large changes to ufl master, and have to wait for the buildbot to trigger (which takes ages for no apparent reason) before I push to ffc and then dolfin, otherwise the buildbot will fail for those as well.
You can trigger the buildbots manually via the web interface. Garth
Martin
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
