deactivate ci jobs with debian11 gcc-10-20 temporarily due to a bug in the latest gcc build of debian11
Once the debian11 image is fixed, it can be activated again.