From b3a9cd5676ed16dd34d5f5d19ff5f6c9c91afe99 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Mon, 7 Mar 2022 22:46:17 +0100
Subject: [PATCH] chore(GHA): Add cron job for {coq-demo.yml, python-demo.yml}
 (#72)

& make `on.push.branches`' values uniform.
---
 .github/workflows/coq-demo.yml    | 5 +++++
 .github/workflows/gha-rt.yml      | 1 +
 .github/workflows/python-demo.yml | 6 ++++++
 .github/workflows/reviewdog.yml   | 1 +
 4 files changed, 13 insertions(+)

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:
       - "**"