Add additional trigger events to CI workflows

The workflow_dispatch and repository_dispatch events allow manual triggering of the workflow. These can be useful when
doing development and maintenance on the CI system, and do no harm when they are not needed, so it makes sense to add
them.

Author: per1234

.github/workflows/compile-examples.yml

@@ -11,6 +11,11 @@ on:
       - ".github/workflows/compile-examples.yml"
       - "examples/**"
       - "src/**"
+  schedule:
+    # Run every Tuesday at 8 AM UTC to catch breakage caused by changes to external resources (libraries, platforms).
+    - cron: "0 8 * * TUE"
+  workflow_dispatch:
+  repository_dispatch:
 
 jobs:
   build:

.github/workflows/report-size-deltas.yml

@@ -1,8 +1,13 @@
 name: Report PR Size Deltas
 
 on:
+  push:
+    paths:
+      - ".github/workflows/report-size-deltas.yml"
   schedule:
     - cron:  '*/5 * * * *'
+  workflow_dispatch:
+  repository_dispatch:
 
 jobs:
   report: