In recent discussions it has been suggested that instant-clean should only be run during the nightly build. I have implemented this on the buildbot now by reverting the changes I made after the discussion we had last year:
https://lists.launchpad.net/dolfin/msg20410.html That is, instant-clean is now only run when Instant is rebuilt on the buildbot, which will always happen before the DOLFIN tests are run during the nightly build. One can also force instant-clean to be run by pressing the force build button on the Instant buildbot page. Johannes _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp