Skip to content

Pull requests: Project-Navi/ordvec

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

chore(deps): Bump the github-actions group across 1 directory with 5 updates dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#276 opened Jul 3, 2026 by dependabot Bot Loading…
chore(deps): Bump uuid from 1.23.3 to 1.23.4 in the cargo-minor-patch group dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#275 opened Jul 3, 2026 by dependabot Bot Loading…
chore(deps-dev): Bump the pip-minor-patch group in /ordvec-python with 2 updates dependencies Pull requests that update a dependency file python ordvec-python bindings
#273 opened Jun 26, 2026 by dependabot Bot Loading…
docs: add Index Authority Receipts for IFC evidence review-this Trigger OpenHands PR review
#270 opened Jun 20, 2026 by Maurice Witten (blocksifrdev) Loading…
ci: add optional CortexTrace Free execution review review-this Trigger OpenHands PR review
#269 opened Jun 20, 2026 by Maurice Witten (blocksifrdev) Loading…
10 tasks
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.