[Qa-jenkins-scm] Build failed in Jenkins: reproducible_html_indexes #96672

[jenkins at jenkins.debian.net]

See <https://jenkins.debian.net/job/reproducible_html_indexes/96672/display/redirect>

------------------------------------------
[...truncated 53.64 MB...]
[2018-07-24 10:37:40] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:40] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:40] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:40] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:40] INFO: "Packages in stretch/armhf tested in the last 24h for build reproducibility" now available at https://tests.reproducible-builds.org/debian/stretch/armhf/index_last_24h.html
[2018-07-24 10:37:40] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:40] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:40] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:40] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
[2018-07-24 10:37:41] INFO: Finding out which usertagged bugs have been closed or at least have patches
OSError: [Errno 28] No space left on device

During handling of the above exception, another exception occurred:

Traceback (most recent call last):
  File "/srv/jenkins/bin/reproducible_html_indexes.py", line 837, in <module>
    build_page(page, suite, arch)
  File "/srv/jenkins/bin/reproducible_html_indexes.py", line 828, in build_page
    left_nav_html=left_nav_html)
  File "/srv/jenkins/bin/rblib/html.py", line 151, in write_html_page
    fd.write(html)
OSError: [Errno 28] No space left on device
[2018-07-24 10:37:41] INFO: Finished at 2018-07-24 10:37:41.242954, took: 0:07:40.010467
Build step 'Execute shell' marked build as failure