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 with 5 updates dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#302 opened Jul 24, 2026 by dependabot Bot Loading…
chore(deps): Bump rusqlite from 0.39.0 to 0.40.1 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#301 opened Jul 24, 2026 by dependabot Bot Loading…
chore(deps): Bump the cargo-minor-patch group with 3 updates dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#300 opened Jul 24, 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! Follow long discussions with comments:>50.