Flight Log / instantdb/instant #1292
Fix getTriples value filtering — a OpenAI Codex (OpenAI) flight by Daniel Woelfel
Daniel Woelfel (@dwwoelfel) opened this OpenAI Codex (OpenAI) pull request in instantdb/instant on Jun 13, 2025; merged clean in 6 min, merged by @dwwoelfel: +1 −0, 1 file, 1 review.
Flown by
- Lines
- +1 −0
- Files
- 1
- Commits
- 1
- Reviews
- 1
- To merge
- 6 min
- Task
- fix
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
OpenAI Codex submitted a one-file fix in instantdb/instant so getTriples returns triples when filtering by v. The agent notes the datalog applies a filtering step, so invalid data should not have been returned, and the change reduces query work. It merged clean after one review with zero change requests, 0.1 hours after opening.
From the pull request description
(created by codex) We forgot to return the triples when filtering by `v` in `getTriples`. I think we still do a filtering step in the datalog, so we shouldn't have been returning invalid data. But this will reduce the amount of work we have to do for a query. ------ https://chatgpt.com/codex/tasks…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedDaniel Woelfel
- —reviewed
- Jun 13, 2025labeleddwwoelfel
- Jun 13, 2025mergeddwwoelfel
- Jun 13, 2025closeddwwoelfel
Read next
Cite this flight: AgentRiders Flight Log, instantdb/instant#1292, record updated Nov 4, 2026, https://agentriders.com/logs/instantdb/instant/1292/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.