Update doc-live branch to include latest documentation changes - #124

Merged

nelimee merged 26 commits into

Nov 5, 2025

Commits on Oct 2, 2025

chore: enable mypy `warn_unused_ignores` and address associated errors (#79)
zhiyaol
authored

Commits on Oct 3, 2025

chore: fix some `warn_return_any` rule violations (#80)
zhiyaol
authored
chore: ignore `pip` vulnerability reported by `pip-audit` (#84)

mdhaber
and
guenp
authored
chore: check if token exists before running docs build (#85)
guenp
authored
chore: simplify .readthedocs.yaml; add `-W` (fail on warnings) to custom build command (#86)

mdhaber
and
guenp
authored
chore: run `ruff format` with pre-commit (#69)
mdhaber
authored
docs: amend pixi setup instruction (#93)
mdhaber
authored
docs: links should point to `docs` (built from `docs-live` branch) (#74)

mdhaber
and
guenp
authored
feat: better logical error probability per round (#67)

nelimee
and
guenp
authored

Commits on Oct 6, 2025

Commits on Oct 8, 2025

Commits on Oct 9, 2025

Commits on Oct 15, 2025

feat(gtm): add google tag manager (#101)
safeamiiir
authored

Commits on Oct 27, 2025

Change default CODEOWNER from @mdhaber to @nelimee (#115)
nelimee
authored

Commits on Nov 3, 2025

feat: add deprecation policy (#120)
nelimee
authored