Autocancel repeated CI runs

This will ensure that any specific pull request (or commit) only has a
single CI run happening at any point in time.

Author: pradyunsg

.github/workflows/ci.yml

@@ -11,6 +11,10 @@ on:
   schedule:
     - cron: 0 0 * * MON # Run every Monday at 00:00 UTC
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
+  cancel-in-progress: true
+
 jobs:
   docs:
     name: docs