← Back to team overview

dolfin team mailing list archive

buildbot linux_32

 

The linux_32 buildbot failed over the weekend. I fixed the problem, but does the linux_32 buildbot need to be restarted? It hasn't run since Saturday.

Garth


Follow ups