[postgis-tickets] [PostGIS] #5438: woodie pdf build step errors out (unknown error)

[PostGIS]

#5438: woodie pdf build step errors out (unknown error)
------------------------+--------------------------------------
  Reporter:  strk       |      Owner:  strk
      Type:  defect     |     Status:  assigned
  Priority:  medium     |  Milestone:  Website Management, Bots
 Component:  buildbots  |    Version:
Resolution:             |   Keywords:
------------------------+--------------------------------------
Comment (by strk):

 Last lines from my terminal showing _how_ the docker containiner running
 the CI step was pulled off my feet:

 {{{
 root at 9d1577d0cdea:/woodpecker/src/git.osgeo.org/gitea/postgis/postgis
 /build-docs/doc# find . -name '*.pdf' -exec ls -l {} \;
 -rw-r--r-- 1 root root 5383393 Jul  8 09:40 ./po/pt_BR/postgis-3.4.0dev-
 br.pdf
 -rw-r--r-- 1 root root 5483288 Jul  8 09:43 ./po/fr/postgis-3.4.0dev-
 fr.pdf
 -rw-r--r-- 1 root root 5345350 Jul  8 09:48 ./po/pl/postgis-3.4.0dev-
 pl.pdf
 -rw-r--r-- 1 root root 5349839 Jul  8 09:45 ./po/es/postgis-3.4.0dev-
 es.pdf
 -rw-r--r-- 1 root root 5542413 Jul  8 09:50 ./po/ko_KR/postgis-3.4.0dev-
 ko_KR.pdf
 -rw-r--r-- 1 root root 5332001 Jul  8 09:38 ./po/it_IT/postgis-3.4.0dev-
 it.pdf
 -rw-r--r-- 1 root root 5308009 Jul  8 09:35 ./postgis-3.4.0dev-en.pdf
 root at 9d1577d0cdea:/woodpe
 root at woodie-server:/tmp# docker exec -ti 9d1577d0cdea /usr/bin/bash
 Error response from daemon: No such container: 9d1577d0cdea
 }}}
-- 
Ticket URL: <https://trac.osgeo.org/postgis/ticket/5438#comment:4>
PostGIS <http://trac.osgeo.org/postgis/>
The PostGIS Trac is used for bug, enhancement & task tracking, a user and developer wiki, and a view into the subversion code repository of PostGIS project.