Skip to content
New issue

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

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

Already on GitHub? # 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
# for free to join this conversation on GitHub. Already have an account? # 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.

4 participants