Skip to content

chore: fix lib build#32

Merged
mfazekas merged 8 commits into
mainfrom
fix-ci
Nov 20, 2025
Merged

chore: fix lib build#32
mfazekas merged 8 commits into
mainfrom
fix-ci

Conversation

@mfazekas
Copy link
Copy Markdown
Collaborator

@mfazekas mfazekas commented Nov 19, 2025

@mfazekas mfazekas changed the title chore: fix the lib to build chore: fix lib build Nov 19, 2025
@mfazekas mfazekas changed the title chore: fix lib build WIP: chore: fix lib build Nov 19, 2025
@mfazekas mfazekas changed the title WIP: chore: fix lib build chore: fix lib build Nov 19, 2025
@mfazekas mfazekas requested a review from HayesGordon November 20, 2025 07:13
HayesGordon
HayesGordon previously approved these changes Nov 20, 2025
@mfazekas mfazekas force-pushed the fix-ci branch 3 times, most recently from 8636b54 to 2eb699f Compare November 20, 2025 14:02
HayesGordon
HayesGordon previously approved these changes Nov 20, 2025
Copy link
Copy Markdown
Contributor

@HayesGordon HayesGordon left a comment

Choose a reason for hiding this comment

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

LGTM

@mfazekas mfazekas merged commit d6c36ef into main Nov 20, 2025
5 checks passed
@HayesGordon HayesGordon deleted the fix-ci branch December 9, 2025 16:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants