Merge branch 'dev' into ms/#827-use-java-streams-on-sql-fetsches-effectively

Author: staudtMarius

build.gradle

@@ -5,7 +5,7 @@ plugins {
   id 'signing'
   id 'pmd' // code check, working on source code
   id 'com.diffplug.spotless' version '6.25.0' //code format
-  id 'com.github.spotbugs' version '6.0.11' // code check, working on byte code
+  id 'com.github.spotbugs' version '6.0.12' // code check, working on byte code
   id 'de.undercouch.download' version '5.6.0'
   id 'kr.motd.sphinx' version '2.10.1' // documentation generation
   id 'jacoco' // java code coverage plugin

docs/readthedocs/requirements.txt

@@ -1,6 +1,6 @@
 commonmark==0.9.1
 recommonmark==0.7.1
-Sphinx==7.2.6
+Sphinx==7.3.7
 sphinx-rtd-theme==2.0.0
 myst-parser==2.0.0
 markdown-it-py==3.0.0