dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

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