penguinolog / urwid / 42780050770

94%

master: 94%

push

github

Build the documentation as a PDF with LuaLaTeX

The HTML output is unchanged; the PDF comes from the same sources.

- docs/conf.py uses LuaLaTeX with a font fallback chain for the box-drawing,
  CJK, emoji and symbol characters the documentation contains.
- docs/tools/build_pdf.sh builds build/pdf/latex/Urwid.pdf and fails on a
  Sphinx warning or a character no font in the chain has.
- The docs-pdf stage of .devcontainer/dev.dockerfile and its devcontainer
  config give a local environment for it; the default devcontainer now
  selects the dev stage.
- A PDF job uploads the result as the documentation-pdf artifact.

| what | from | to |
| --- | --- | --- |
| documentation.yml PDF job | absent | ubuntu-26.04, needs Build |

6899 of 7564 branches covered (91.21%)

Branch coverage included in aggregate %.

17790 of 18828 relevant lines covered (94.49%)

14.99 hits per line