Repository navigation

Build and publish a Docker image - #25

Merged

piki merged 6 commits into

mainfrom

Oct 8, 2026

Commits on Oct 7, 2026
- Copy tinql and boldi-vigna bug fixes from TIN
  piki
  committed
  56dff87
- Exclude empty documents from BM25 scoring
  piki
  committed
  77f1365
- Bump Lead version to 1.0.6 to match TIN
  piki
  committed
  9c5b8b9
- Build and publish a Docker image
  piki
  committed
  6117578
Commits on Oct 8, 2026
- cargo update
  piki
  committed
  7308d8f
- Combine CI + Docker builds
  piki
  committed
  06cdfa4