Commit 38e4249d authored Nov 16, 2025 by Tomáš Strachoň

Merge branch '02-ci-docker' into 'main'

02 CI & Bug fixes

See merge request xstrach/sv-comp!2