Skip to content

Conversation

@anmonteiro
Copy link
Member

No description provided.

@anmonteiro anmonteiro force-pushed the anmonteiro/allow-cmdliner-2 branch from a4478a3 to 7cbf9ba Compare December 13, 2025 21:42
@anmonteiro anmonteiro force-pushed the anmonteiro/allow-cmdliner-2 branch from 7cbf9ba to a933f48 Compare December 14, 2025 05:34
@anmonteiro anmonteiro merged commit 1a68eb4 into master Dec 14, 2025
22 checks passed
@anmonteiro anmonteiro deleted the anmonteiro/allow-cmdliner-2 branch December 14, 2025 10:00
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