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-6101: Classification error on SubAnnotationPropertyOf axioms #1288

Conversation

AAAlinaaa
Copy link
Contributor

No description provided.

@AAAlinaaa AAAlinaaa requested a review from apeteri May 7, 2024 13:44
@AAAlinaaa AAAlinaaa self-assigned this May 7, 2024
@AAAlinaaa AAAlinaaa requested review from cmark and nagyo May 7, 2024 13:45
@cmark cmark added the port-to-7.x Pull requests that need a complementary PR targeting the 7.x stream label May 7, 2024
Copy link
Member

@apeteri apeteri left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

😎

Copy link
Member

@cmark cmark left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🥓

Copy link

codecov bot commented May 7, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 48.26%. Comparing base (e9d1866) to head (dab75d6).

Additional details and impacted files
@@             Coverage Diff              @@
##                9.x    #1288      +/-   ##
============================================
- Coverage     48.26%   48.26%   -0.01%     
  Complexity    13938    13938              
============================================
  Files          1946     1946              
  Lines         95071    95073       +2     
  Branches      10983    10984       +1     
============================================
  Hits          45883    45883              
- Misses        46192    46195       +3     
+ Partials       2996     2995       -1     

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

@nagyo nagyo changed the title SO-6101 classification error on subannotationpropertyof axioms 9.x SO-6101: Classification error on SubAnnotationPropertyOf axioms May 7, 2024
Copy link
Member

@nagyo nagyo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@cmark cmark merged commit d9637a6 into 9.x May 8, 2024
4 of 5 checks passed
@cmark cmark deleted the issue/SO-6101-classification-error-on-subannotationpropertyof-axioms_9.x branch May 8, 2024 06:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
port-to-7.x Pull requests that need a complementary PR targeting the 7.x stream
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants