Apply PR #143 content on top of latest main

2026-07-29 18:18:07 +02:00
parent 3b621e591a
commit e68e33c0c5
33 changed files with 1114 additions and 1145 deletions
@@ -5,3 +5,6 @@ __pycache__/
 build-asan
 coverage.info
 build-*/
+build2/
+build3/
+build_docker2/