v0.25.12

What's Changed

• [codex] cap indexing to first 10k lines per file by @Feel-ix-343 in #480
• [codex] bump version to 0.25.12 by @Feel-ix-343 in #481

Full Changelog: v0.25.11...v0.25.12