Skip to content

chore: set up uv cache keys#1142

Merged
henryiii merged 1 commit into
developfrom
henryiii/chore/uvrebuild
Jun 9, 2026
Merged

chore: set up uv cache keys#1142
henryiii merged 1 commit into
developfrom
henryiii/chore/uvrebuild

Conversation

@henryiii

@henryiii henryiii commented Jun 9, 2026

Copy link
Copy Markdown
Member

Suggested by Claude Fable 5 when doing something else.

Suggested by Claude Fable 5 when doing something else

Signed-off-by: Henry Schreiner <henryfs@princeton.edu>
@github-actions github-actions Bot added the needs changelog Might need a changelog entry label Jun 9, 2026
@henryiii henryiii merged commit e3ab8f4 into develop Jun 9, 2026
21 checks passed
@henryiii henryiii deleted the henryiii/chore/uvrebuild branch June 9, 2026 22:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs changelog Might need a changelog entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant