mirror of
https://github.com/kvcache-ai/AgentENV.git
synced 2026-11-05 01:17:36 +00:00
[PR #371] [CLOSED] fix: prevent duplicate log entries across pages #385
Labels
No labels
bug
documentation
enhancement
enhancement
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
kvcache-ai/AgentENV#385
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/kvcache-ai/AgentENV/pull/371
Author: @zlzGithub-0801
Created: 10/12/2026
Status: ❌ Closed
Base:
main← Head:fix/issue-353📝 Commits (1)
b248e19fix: prevent duplicate log entries across pages📊 Changes
1 file changed (+89 additions, -12 deletions)
View changed files
📝
src/sandbox/logs.rs(+89 -12)📄 Description
What
Fix sandbox log pagination boundary duplication while preserving a hard
limit.Why
Reusing the last log’s timestamp as the cursor could repeat boundary entries and prevent pagination from terminating.
Related issue
Closes #353
Scope and non-goals
Update log query boundaries, regression tests, and API descriptions. Lossless pagination for logs sharing a millisecond is out of scope.
Design and behavior changes
Continuation queries exclude the cursor’s entire millisecond in both directions. Responses remain strictly capped by
limit.Compatibility and operations
Validation
make fmtmake clippymake test-unitmake -C services test(required whenservices/changes)maketargetSkipped checks and reasons:
Full unit/integration suites and benchmarks were not run; validation focused on log pagination. Go tests are not applicable.
Risks and reviewer notes
Checklist
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.