Comment 8 for bug 1754889

Revision history for this message
Be (be.ing) wrote :

Thank you for confirming. We are not sure what the source of the bug was, but setting the Jenkins build server to clear its workspace before each build seems to have solved it.