main
Update build_documentation.yml (#999)
CI: don't build docs in private PRs
Ruff fixes (#984)
(ci) update apt repo before aarch64 build tools are installed (#1096)
Enable line-ending and other hygiene lints (#1006)
Update .github/workflows/upload_pr_documentation.yml