Run the CI GitHub Actions workflow every 8 hours

Signed-off-by: Pedro Algarvio <palgarvio@vmware.com>

.github/workflows/ci.yml

@@ -3,6 +3,9 @@ name: CI
 on:
   push: {}
   pull_request: {}
+  schedule:
+    # https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#onschedule
+    - cron: '0 */8 * * *'  # Run every 8 hours
   workflow_dispatch:
     inputs:
       testrun-type:

tools/ci.py

@@ -204,7 +204,7 @@ def define_testrun(ctx: Context, event_name: str, changed_files: pathlib.Path):
         ctx.error(f"Could not load the changed files from '{changed_files}': {exc}")
         ctx.exit(1)
 
-    if event_name == "push":
+    if event_name in ("push", "schedule"):
         # In this case, a full test run is in order
         ctx.info("Writing 'testrun' to the github outputs file")
         testrun = {"type": "full"}