Merge pull request #7216 from ThomasWaldmann/fix-ci-1.2

fix github CI (1.2-maint)

.github/workflows/ci.yml

@@ -49,7 +49,7 @@ jobs:
 
     needs: lint
     strategy:
-      fail-fast: true
+      fail-fast: false
       matrix:
         include:
             - os: ubuntu-20.04