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

SO-6148 Exclude irrelevant axiom types from validation (9x) #1342

Merged

Merge branch '9.x' into

5f43722
Select commit
Loading
Failed to load commit list.
Merged

SO-6148 Exclude irrelevant axiom types from validation (9x) #1342

Merge branch '9.x' into
5f43722
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Nov 25, 2024 in 0s

63.70% (+0.02%) compared to 820f68d

View this Pull Request on Codecov

63.70% (+0.02%) compared to 820f68d

Details

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 63.70%. Comparing base (820f68d) to head (5f43722).
Report is 11 commits behind head on 9.x.

Additional details and impacted files
@@             Coverage Diff              @@
##                9.x    #1342      +/-   ##
============================================
+ Coverage     63.67%   63.70%   +0.02%     
- Complexity    12523    12530       +7     
============================================
  Files          1612     1613       +1     
  Lines         57120    57207      +87     
  Branches       5622     5628       +6     
============================================
+ Hits          36373    36441      +68     
- Misses        18397    18413      +16     
- Partials       2350     2353       +3     

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


🚨 Try these New Features: