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-5107 shacl sail lost connection causes deadlock #5110

Draft

hmottestad wants to merge 2 commits into main from GH-5107-shacl-sail-lost-connection-causes-deadlock

Contributor

hmottestad commented Aug 14, 2024

GitHub issue resolved: #5107

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

August 14, 2024 10:42


          reproduce test failure

1c8688c


          various attempts at fixing issue

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

Labels

None yet