Merge branch 'master' into feature/multi-platform

Author: ChristophShyper

.github/workflows/PUSH-MASTER.yml

@@ -20,7 +20,7 @@ jobs:
           curl -LsS https://raw.githubusercontent.com/devops-infra/.github/master/.github/labels.yml -o .tmp/labels.yml
 
       - name: Update labels
-        uses: crazy-max/ghaction-github-labeler@v5.1.0
+        uses: crazy-max/ghaction-github-labeler@v5.2.0
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}
           yaml-file: .tmp/labels.yml

.github/workflows/PUSH-OTHER.yml

@@ -20,7 +20,7 @@ jobs:
           curl -LsS https://raw.githubusercontent.com/devops-infra/.github/master/.github/labels.yml -o .tmp/labels.yml
 
       - name: Update labels (dry run)
-        uses: crazy-max/ghaction-github-labeler@v5.1.0
+        uses: crazy-max/ghaction-github-labeler@v5.2.0
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}
           yaml-file: .tmp/labels.yml