Gah, twice in two days. This time it was out of space. Fixed again.
Our old Jenkins is about ready for retirement, it is barely staying alive, but we have a shiny replacement we're finishing up, then we'll cut over the launcher and should be OK again for a few years :-)