ci: cancel previous workflow run on new commit (#7619)

.github/workflows/check_properties.yml

@@ -2,6 +2,12 @@ name: Verify the widget property name
 on:
   push:
   pull_request:
+  
+# https://docs.github.com/en/actions/writing-workflows/workflow-syntax-for-github-actions#concurrency
+# Ensure that only one commit will be running tests at a time on each PR
+concurrency:
+  group: ${{ github.ref }}-${{ github.workflow }} 
+  cancel-in-progress: true
 
 jobs:
   verify-property-name: