Skip to content

pinning dependencies - leftovers#5037

Merged
hardl merged 1 commit intomainfrom
pin-deps-rest
Apr 17, 2026
Merged

pinning dependencies - leftovers#5037
hardl merged 1 commit intomainfrom
pin-deps-rest

Conversation

@hardl
Copy link
Copy Markdown
Contributor

@hardl hardl commented Apr 17, 2026

No description provided.

@hardl hardl added the ora ora related issues label Apr 17, 2026
@hardl hardl requested a review from walmazacn as a code owner April 17, 2026 10:31
@walmazacn walmazacn self-assigned this Apr 17, 2026
Copy link
Copy Markdown
Contributor

@walmazacn walmazacn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍

@hardl hardl merged commit 2212518 into main Apr 17, 2026
14 checks passed
@hardl hardl deleted the pin-deps-rest branch April 17, 2026 11:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ora ora related issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants