Skip to content

fix: Allow options accepting zero-length unbounded num_args.#253

Merged
DanCardin merged 1 commit intomainfrom
dc/empty-sequence-options
Dec 4, 2025
Merged

fix: Allow options accepting zero-length unbounded num_args.#253
DanCardin merged 1 commit intomainfrom
dc/empty-sequence-options

Conversation

@DanCardin
Copy link
Copy Markdown
Owner

Fixes 1 issue reported in #251

@DanCardin DanCardin force-pushed the dc/empty-sequence-options branch from 8ec0d20 to feef6ec Compare December 1, 2025 17:46
@wu-clan wu-clan mentioned this pull request Dec 4, 2025
@DanCardin DanCardin marked this pull request as ready for review December 4, 2025 15:39
@DanCardin DanCardin force-pushed the dc/empty-sequence-options branch from feef6ec to 7588bbd Compare December 4, 2025 15:41
@codecov
Copy link
Copy Markdown

codecov bot commented Dec 4, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.62%. Comparing base (7781e8d) to head (7588bbd).
⚠️ Report is 2 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #253      +/-   ##
==========================================
- Coverage   99.69%   99.62%   -0.08%     
==========================================
  Files          26       26              
  Lines        2636     2650      +14     
  Branches      577      577              
==========================================
+ Hits         2628     2640      +12     
- Misses          7        8       +1     
- Partials        1        2       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@DanCardin DanCardin merged commit 6451eff into main Dec 4, 2025
10 of 11 checks passed
@DanCardin DanCardin deleted the dc/empty-sequence-options branch December 4, 2025 15:54
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