Skip to content

chore: polish error message while fragment not exist#5329

Merged
Xuanwo merged 1 commit intomainfrom
polish-error-message
Nov 25, 2025
Merged

chore: polish error message while fragment not exist#5329
Xuanwo merged 1 commit intomainfrom
polish-error-message

Conversation

@Xuanwo
Copy link
Copy Markdown
Collaborator

@Xuanwo Xuanwo commented Nov 24, 2025

Make the error more clear.


This PR was primarily authored with Codex using GPT-5-Codex and then hand-reviewed by me. I AM responsible for every change made in this PR. I aimed to keep it aligned with our goals, though I may have missed minor issues. Please flag anything that feels off, I'll fix it quickly.

Signed-off-by: Xuanwo <github@xuanwo.io>
@github-actions github-actions Bot added the chore label Nov 24, 2025
@Xuanwo Xuanwo merged commit 3f4a54a into main Nov 25, 2025
25 checks passed
@Xuanwo Xuanwo deleted the polish-error-message branch November 25, 2025 09:53
jackye1995 pushed a commit to jackye1995/lance that referenced this pull request Jan 21, 2026
Make the error more clear.

---

**This PR was primarily authored with Codex using GPT-5-Codex and then
hand-reviewed by me. I AM responsible for every change made in this PR.
I aimed to keep it aligned with our goals, though I may have missed
minor issues. Please flag anything that feels off, I'll fix it
quickly.**

Signed-off-by: Xuanwo <github@xuanwo.io>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants