diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml
index cfbc08d..6a0fcbc 100644
--- a/.github/workflows/coq-demo.yml
+++ b/.github/workflows/coq-demo.yml
@@ -7,6 +7,11 @@ on:
   pull_request:
     branches:
       - "**"  # forall submitted Pull Requests
+  schedule:
+  # test master every day at 16:00 UTC
+  # cf. https://crontab.guru/
+    - cron: '0 16 * * *'
+
 jobs:
 
   # The following two jobs are standard/recommended versions, assuming
diff --git a/.github/workflows/gha-rt.yml b/.github/workflows/gha-rt.yml
index 4ad030d..7ee0768 100644
--- a/.github/workflows/gha-rt.yml
+++ b/.github/workflows/gha-rt.yml
@@ -3,6 +3,7 @@ on:
   push:
     branches:
       - master  # forall push/merge in master
+      - v1      # forall push/merge in v1
   pull_request:
     branches:
       - "**"  # forall submitted Pull Requests
diff --git a/.github/workflows/python-demo.yml b/.github/workflows/python-demo.yml
index edc4d84..2717025 100644
--- a/.github/workflows/python-demo.yml
+++ b/.github/workflows/python-demo.yml
@@ -3,9 +3,15 @@ on:
   push:
     branches:
       - master  # forall push/merge in master
+      - v1      # forall push/merge in v1
   pull_request:
     branches:
       - "**"  # forall submitted Pull Requests
+  schedule:
+  # test master every day at 16:00 UTC
+  # cf. https://crontab.guru/
+    - cron: '0 16 * * *'
+
 jobs:
 
   # ######################################################################
diff --git a/.github/workflows/reviewdog.yml b/.github/workflows/reviewdog.yml
index 38c0db3..13849a1 100644
--- a/.github/workflows/reviewdog.yml
+++ b/.github/workflows/reviewdog.yml
@@ -3,6 +3,7 @@ on:
   push:
     branches:
       - master
+      - v1
   pull_request:
     branches:
       - "**"