Add concurency group and push/PR handle to CI workflow

Author: Victor-Jung

.github/workflows/CI.yml

@@ -1,10 +1,15 @@
 name: CI
 
 on: 
-  # push:
-  # pull_request:
+  push:
+  pull_request:
   workflow_dispatch:
 
+# JUNGVI: Create a concurrency group per branch such that only the latest commit on a branch runs workflows
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
 
   build-deepquant: