Skip to content

Improve get_histories_from_huey_ids#1386

Merged
tcely merged 1 commit intomainfrom
tcely-patch-1
Feb 11, 2026
Merged

Improve get_histories_from_huey_ids#1386
tcely merged 1 commit intomainfrom
tcely-patch-1

Conversation

@tcely
Copy link
Collaborator

@tcely tcely commented Feb 11, 2026

Revise syntax and types

Use more universally accepted syntax and tighten the types.

Use more universally accepted syntax and tighten the types.
@tcely tcely marked this pull request as ready for review February 11, 2026 13:53
@tcely tcely moved this to In Progress in Status Feb 11, 2026
@meeb
Copy link
Owner

meeb commented Feb 11, 2026

Fine with me, merge away when ready.

@tcely tcely merged commit c1b6091 into main Feb 11, 2026
9 checks passed
@tcely tcely deleted the tcely-patch-1 branch February 11, 2026 14:09
@github-project-automation github-project-automation bot moved this from In Progress to Done in Status Feb 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants

Comments