fix wrong group name

Author: rendner

.github/workflows/code-checks.yml

@@ -166,7 +166,7 @@ jobs:
 
     concurrency:
       # https://github.community/t/concurrecy-not-work-for-push/183068/7
-      group: ${{ github.event_name == 'push' && github.run_number || github.ref }}-pre-commit
+      group: ${{ github.event_name == 'push' && github.run_number || github.ref }}-build_docker_dev_environment
       cancel-in-progress: true
 
     steps: