Skip to content

CI: optimizations / september 2020

Raphael Defosseux requested to merge 2020-09-ci-updates into develop
  • optimizations on VM-based framework
  • correction for Circular Dependency Protection on header files
  • correction on the banner check

Merge request reports