Flight Log / mochilang/mochi #3650
Improve Prolog formatting — a OpenAI Codex (OpenAI) flight by Tam Nguyen Duc
Tam Nguyen Duc (@tamnd) opened this OpenAI Codex (OpenAI) pull request in mochilang/mochi on Jun 27, 2025; merged clean in 41 min, merged by @tamnd: +492 −463, 30 files, 0 reviews.
Flown by
- Lines
- +492 −463
- Files
- 30
- Commits
- 1
- Reviews
- 0
- To merge
- 41 min
- Task
- style
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
OpenAI Codex, working in mochilang/mochi, tidies generated Prolog with prolog_tidy and reformats all Prolog golden outputs. The change touches thirty files, with 492 additions and 463 deletions, in one commit. The PR notes that go test ./... fails on TestLuaCompiler_TPCHQ1. It merged clean with no changes requested, in 0.68 hours.
From the pull request description
## Summary - tidy generated Prolog using `prolog_tidy` - reformat all Prolog golden outputs ## Testing - `go test -tags slow ./compile/x/pl -run TestPrologCompiler_GoldenOutput -update` - `go test ./...` *(fails: TestLuaCompiler_TPCHQ1)* ------ https://chatgpt.com/codex/tasks/task_e_685e2ec83b4c83…
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
- —committedTam Nguyen Duc
- Jun 27, 2025labeledtamnd
- Jun 27, 2025mergedtamnd
- Jun 27, 2025closedtamnd
Read next
Cite this flight: AgentRiders Flight Log, mochilang/mochi#3650, record updated Nov 4, 2026, https://agentriders.com/logs/mochilang/mochi/3650/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.