Commit 08de555f authored Sep 09, 2022 by Jan Kiene

Merge branch 'fix-bug-in-run-scheduled-sanitizer-test-py' into 'main'

fix mode selection in sanitizer test script

See merge request !120