github/workflows: Cancel when branch is updated.

This adds a concurrency section to all github workflows to cancel any
in progress workflow when a branch is updated. This should cancel any
ongoing or queued workflows, e.g. when a pull request is updated.

Signed-off-by: David Lechner <david@pybricks.com>

.github/workflows/examples.yml

@@ -10,6 +10,10 @@ on:
       - 'py/**'
       - 'shared/**'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   embedding:
     runs-on: ubuntu-latest