Skip to content

Conversation

@anmonteiro
Copy link
Member

fix bug reproduced in #1522

@anmonteiro anmonteiro force-pushed the anmonteiro/fix-option-compile branch from 2f9b6da to baa454d Compare August 9, 2025 06:12
@anmonteiro anmonteiro merged commit 87a531f into main Aug 9, 2025
7 checks passed
@anmonteiro anmonteiro deleted the anmonteiro/fix-option-compile branch August 9, 2025 06:22
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.

1 participant