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

*: instead scheduler type string of types.CheckerSchedulerType #8485

Merged
merged 18 commits into from
Aug 8, 2024

Merge branch 'master' into name5

43a5eb1
Select commit
Loading
Failed to load commit list.
Merged

*: instead scheduler type string of types.CheckerSchedulerType #8485

Merge branch 'master' into name5
43a5eb1
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Aug 5, 2024 in 1s

77.33% (+0.01%) compared to bf501d8

View this Pull Request on Codecov

77.33% (+0.01%) compared to bf501d8

Details

Codecov Report

Attention: Patch coverage is 85.14851% with 15 lines in your changes missing coverage. Please review.

Project coverage is 77.33%. Comparing base (bf501d8) to head (43a5eb1).

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #8485      +/-   ##
==========================================
+ Coverage   77.31%   77.33%   +0.01%     
==========================================
  Files         472      472              
  Lines       61789    61815      +26     
==========================================
+ Hits        47774    47804      +30     
- Misses      10433    10447      +14     
+ Partials     3582     3564      -18