From fcb5dd5378fa028f6848acc74954a9c4e4cacada Mon Sep 17 00:00:00 2001
From: Markus Reiter <me@reitermark.us>
Date: Sun, 6 Sep 2020 17:53:43 +0200
Subject: [PATCH] Run `rerun-workflow` less often.

---
 .github/workflows/rerun-workflow.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/rerun-workflow.yml b/.github/workflows/rerun-workflow.yml
index c101b32240c..2cca3017afa 100644
--- a/.github/workflows/rerun-workflow.yml
+++ b/.github/workflows/rerun-workflow.yml
@@ -11,10 +11,17 @@ on:
       - labeled
       - unlabeled
   schedule:
-    - cron: '*/10 * * * *'
+    - cron: '0 */3 * * *' # every 3 hours
 
 jobs:
   rerun-workflow:
+    if: >
+      github.event.label.name == 'ci-requeue' ||
+      github.event.label.name == 'ci-retry' ||
+      github.event.label.name == 'ci-skip-appcast' ||
+      github.event.label.name == 'ci-skip-install' ||
+      github.event.label.name == 'ci-syntax-only' ||
+      !github.event.label.name
     runs-on: ubuntu-latest
     steps:
       - name: Re-run CI workflow