dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

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.

--
Anders