Skip to content

Small fixes and improvements

Rosen Matev requested to merge rm-improvements into master
  • small fix to download script
  • Fix monitoring task MBM user type
  • Fail when tasks exit with non-zero code
  • Support running testbench in sanitizer builds
  • Add missing find_package for dependencies

Merge request reports