Doesn't help.
On 4 June 2014 13:28, Garth N. Wells <[email protected]> wrote: > > > 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
