search.py documentation, comments and type annotations#500

Merged

tim-band merged 8 commits into

developmentfrom

Mar 16, 2026

Commits on Feb 20, 2026

fix local docker requirements
Tim Band
committed

Commits on Mar 11, 2026

Lots of type annotations, documentation and comments
Tim Band
committed
trimmed trailing whitespace
Tim Band
committed
pre-commit clean
Tim Band
committed

Commits on Mar 12, 2026

Correct regex
Tim Band
committed
updated development.txt and production.txt requirements
Tim Band
committed
GitHub workflow should use Python 3.12 not 3.8
Tim Band
committed

Commits on Mar 16, 2026

Merge branch 'development' into one-query
Tim Band
committed