Skip to content
This repository was archived by the owner on Feb 3, 2026. It is now read-only.

langkit#262

Merged
pigri merged 3 commits intomainfrom
langkit
Jan 23, 2025
Merged

langkit#262
pigri merged 3 commits intomainfrom
langkit

Conversation

@krichard1212
Copy link
Copy Markdown
Collaborator

No description provided.

pigri
pigri previously approved these changes Jan 23, 2025
Signed-off-by: David Papp <pigri@users.noreply.github.com>
@sonarqubecloud
Copy link
Copy Markdown

Copy link
Copy Markdown
Collaborator

@waroca waroca left a comment

Choose a reason for hiding this comment

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

LGTM

@pigri pigri merged commit 9ca0d90 into main Jan 23, 2025
@pigri pigri deleted the langkit branch January 23, 2025 12:56
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants