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.

Sign up for GitHub

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

Jump to bottom

GH-5027 ShaclSail logging #5029

Merged

hmottestad merged 2 commits into main from GH-5027-shacl-logging

Jun 12, 2024

Contributor

hmottestad commented Jun 12, 2024 •

edited

Loading

GitHub issue resolved: #5027 #5028

Briefly describe the changes proposed in this PR:

PR Author Checklist (see the contributor guidelines for more details):

my pull request is self-contained
I've added tests for the changes I made
I've applied code formatting (you can use mvn process-resources to format from the command line)
I've squashed my commits where necessary
every commit message starts with the issue number (GH-xxxx) followed by a meaningful description of the change

hmottestad added 2 commits

June 12, 2024 15:47


          GH-5027 improve logging in the ShaclSail

79496bb


          GH-5028 Reduce duplicate use of Unique plan node

87caad7

hmottestad merged commit 516bf0a into main

9 checks passed

hmottestad deleted the GH-5027-shacl-logging branch

June 12, 2024 17:25

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet