dolfin team mailing list archive

[Martin Sandve Alnæs <martinal@xxxxxxxxx>]

Actually you have not pushed ufc...

Martin
Den 4. mars 2013 23:21 skrev "Anders Logg" <logg@xxxxxxxxx> følgende:

> ok. Forced Instant bots now. Will force DOLFIN later when those are
> green.
>
> --
> Anders
>
>
> On Mon, Mar 04, 2013 at 11:10:57PM +0100, Martin Sandve Alnæs wrote:
> >   Manually force build all instant bots to clean cache. Then force build
> >   dolfin.
> >   Martin
> >   Den 4. mars 2013 23:01 skrev "Anders Logg" <[1]logg@xxxxxxxxx>
> >   følgende:
> >     The buildbot is failing after the merge today. It's working fine
> >     here
> >     so I assume the reason is some problem with the synchronization of
> >     the
> >     packages on the buildbots, a need for cleaning out the instant cache
> >     or similar.
> >     Is it working fine for the rest of you?
> >     Is there some way to clean out and restart all buildbots? Might be
> >     useful in a case when many things have change across the different
> >     packages.
> > Referenser
> >   1. mailto:logg@xxxxxxxxx
> >   2. https://launchpad.net/~dolfin
> >   3. mailto:dolfin@xxxxxxxxxxxxxxxxxxx
> >   4. https://launchpad.net/~dolfin
> >   5. https://help.launchpad.net/ListHelp
>