Merge branch 'main' into feat/animate-dino-mouth

.github/workflows/geometry.yaml

@@ -1,5 +1,9 @@
 name: geometry
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   push:
     paths:

.github/workflows/leaderboard_repository.yaml

@@ -1,5 +1,9 @@
 name: leaderboard_repository
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   push:
     paths:

.github/workflows/main.yaml

@@ -1,5 +1,9 @@
 name: pinball
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+  
 on: [pull_request, push]
 
 jobs:

.github/workflows/pinball_audio.yaml

@@ -1,5 +1,9 @@
 name: pinball_audio
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   push:
     paths:

.github/workflows/pinball_components.yaml

@@ -1,5 +1,9 @@
 name: pinball_components
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   push:
     paths:

.github/workflows/pinball_flame.yaml

@@ -1,5 +1,9 @@
 name: pinball_flame
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 on:
   push:
     paths:

.github/workflows/pinball_theme.yaml

@@ -1,5 +1,9 @@
 name: pinball_theme
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+  
 on:
   push:
     paths: