Improve the CI experience

* Cancel old running jobs if new are pushed.
* Schedule daily builds of the wheel builder.
* Rename the wheel builder to a shorter name.

.github/workflows/build.yml

@@ -8,6 +8,10 @@ on:
     branches:
       - main
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   check_generated_files:
     name: 'Check if generated files are up to date'

.github/workflows/build_wheels.yml

@@ -1,11 +1,19 @@
-name: Build and upload to PyPI
+name: Linux Wheels
 
 on:
   push:
   pull_request:
   release:
     types:
       - published
+  schedule:
+    # At 12:00 on every day-of-month
+    - cron: "0 12 */1 * *"
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 
 jobs:
   build_wheels: