CI: optimizations / september 2020
- optimizations on VM-based framework
- correction for Circular Dependency Protection on header files
- correction on the banner check
Maintenance operation of our GitLab server is scheduled for Monday, June 16, 2025, at 2 PM.