Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature: 为 Matcher.HANDLER_PARAM_TYPES 补增类型 #2352

Merged
merged 4 commits into from Sep 9, 2023
Merged

Conversation

RF-Tar-Railt
Copy link
Member

No description provided.

@github-actions
Copy link
Contributor

github-actions bot commented Sep 9, 2023

🚀 Deployed on https://deploy-preview-2352--nonebot2.netlify.app

@github-actions github-actions bot temporarily deployed to pull request September 9, 2023 05:14 Inactive
@yanyongyu yanyongyu added the enhancement New feature or request label Sep 9, 2023
yanyongyu
yanyongyu previously approved these changes Sep 9, 2023
@codecov
Copy link

codecov bot commented Sep 9, 2023

Codecov Report

Merging #2352 (f9077d7) into master (6c7b6a9) will decrease coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master    #2352      +/-   ##
==========================================
- Coverage   90.67%   90.67%   -0.01%     
==========================================
  Files          46       46              
  Lines        3421     3420       -1     
==========================================
- Hits         3102     3101       -1     
  Misses        319      319              
Flag Coverage Δ
unittests 90.67% <100.00%> (-0.01%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

Files Changed Coverage Δ
nonebot/internal/matcher/matcher.py 97.42% <100.00%> (-0.01%) ⬇️

@github-actions github-actions bot temporarily deployed to pull request September 9, 2023 05:53 Inactive
@yanyongyu yanyongyu merged commit fd126ae into master Sep 9, 2023
24 checks passed
@yanyongyu yanyongyu deleted the fix/typing branch September 9, 2023 12:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Development

Successfully merging this pull request may close these issues.

None yet

2 participants