CI uses CI/debian-testing-gcc.cmake for build stage.
changed milestone to %7.1.0
merged
mentioned in commit 8eb4ed65
added ci label