Use concurrency (#3610)

Use concurrency in GitHub workflows to cancel in-progress or pending
runs for the same ref.

.github/workflows/codeql-analysis.yml

@@ -11,6 +11,10 @@ on:
     - cron: '0 19 * * 1'
   workflow_dispatch:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   CodeQL-Build: