chore(GHA): Add cron job for {coq-demo.yml, python-demo.yml} (#72)

& make `on.push.branches`' values uniform.
coq-community · Mar 7, 2022 · b3a9cd5 · b3a9cd5
1 parent 54928fd
commit b3a9cd5
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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
@@ -3,6 +3,7 @@ on:
   push:
     branches:
       - master
+      - v1
   pull_request:
     branches:
       - "**"
-Original file line number
+Diff line change
@@ Expand Up / @@ -3,6 +3,7 @@ on: @@
       push:
         branches:
           - master
+          - v1
       pull_request:
         branches:
           - "**"
@@ Expand Down @@