penguinolog / urwid / 42781753613

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.
- The Documentation PDF workflow builds it on a manual trigger only, since a
  full TeX Live install is too slow for every push, and uploads the
  documentation-pdf artifact.

| what | from | to |
| --- | --- | --- |
| documentation-pdf.yml | absent | workflow_dispatch, ubuntu-26.04 |

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