Skip to content

Add build option to skip tests#210

Merged
khaledhosny merged 1 commit intomainfrom
tests-option
Feb 5, 2026
Merged

Add build option to skip tests#210
khaledhosny merged 1 commit intomainfrom
tests-option

Conversation

@khaledhosny
Copy link
Collaborator

Fixes #208

@khaledhosny khaledhosny merged commit c8da347 into main Feb 5, 2026
6 checks passed
@khaledhosny khaledhosny deleted the tests-option branch February 5, 2026 00:11
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.

Add a flag to skip building tests

2 participants