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.
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.