Skip unneeded temp file in 'make html'

back to CI dashboard

1 patchset tracked - current t37671_1

v1t37671_1posted Nov 03, 2017successwon't retryancient 9ypg 11
basec29c57890 Oct 17, 2017 - 3259 days / 21757 commits behind master (from history)
applyapplied Jul 26, 07:33
pushJul 27, 21:43 -> f347e1eeabranchdiff vs base
ResultAttPGTestsBuild / testImageWhen
success111467 / 4671m 51s / 2m 37sdocker run ... :t37671Jul 27, 21:53
run 30308027620
executed 467 - ccache 118 hit / 4868 miss - head f347e1eea - digest sha256:4de47c36a82bfc... - run 30308027620