Allow manually running workflows

.github/workflows/sync-batch-1.yml

@@ -1,6 +1,7 @@
 name: Sync CI (batch 1)
 
 on:
+  workflow_dispatch:
   schedule:
     # Run this job every Monday at 12am
     - cron: "0 0 * * 1"

.github/workflows/sync-batch-2.yml

@@ -1,6 +1,7 @@
 name: Sync CI (batch 2)
 
 on:
+  workflow_dispatch:
   schedule:
     # Run this job every Monday at 1am
     - cron: "0 1 * * 1"

.github/workflows/sync-batch-3.yml

@@ -1,6 +1,7 @@
 name: Sync CI (batch 3)
 
 on:
+  workflow_dispatch:
   schedule:
     # Run this job every Monday at 2am
     - cron: "0 2 * * 1"

.github/workflows/sync-batch-4.yml

@@ -1,6 +1,7 @@
 name: Sync CI (batch 4)
 
 on:
+  workflow_dispatch:
   schedule:
     # Run this job every Monday at 3am
     - cron: "0 3 * * 1"

.github/workflows/sync-batch-5.yml

@@ -1,6 +1,7 @@
 name: Sync CI (batch 5)
 
 on:
+  workflow_dispatch:
   schedule:
     # Run this job every Monday at 4am
     - cron: "0 4 * * 1"

.github/workflows/sync-batch-6.yml

@@ -1,6 +1,7 @@
 name: Sync CI (batch 6)
 
 on:
+  workflow_dispatch:
   schedule:
     # Run this job every Monday at 5am
     - cron: "0 5 * * 1"