Skip to content

Add option to skip dictionary compile step#201

Merged
facelessuser merged 3 commits intomasterfrom
feature/skip-dict-compile
May 18, 2025
Merged

Add option to skip dictionary compile step#201
facelessuser merged 3 commits intomasterfrom
feature/skip-dict-compile

Conversation

@facelessuser
Copy link
Copy Markdown
Owner

Resolves #196

@gir-bot gir-bot added S: needs-review Needs to be reviewed and/or approved. C: docs Related to documentation. C: source Related to source code. C: tests Related to testing. labels May 18, 2025
@gir-bot gir-bot added the C: infrastructure Related to project infrastructure. label May 18, 2025
@facelessuser
Copy link
Copy Markdown
Owner Author

@gir-bot lgtm

@gir-bot gir-bot added S: approved The pull request is ready to be merged. and removed S: needs-review Needs to be reviewed and/or approved. labels May 18, 2025
@facelessuser facelessuser merged commit 35c08df into master May 18, 2025
11 checks passed
@facelessuser facelessuser deleted the feature/skip-dict-compile branch May 18, 2025 19:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C: docs Related to documentation. C: infrastructure Related to project infrastructure. C: source Related to source code. C: tests Related to testing. S: approved The pull request is ready to be merged.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add option to skip dictionary compilation

2 participants