From c496787923f001d725537c26add82c8e88c79e46 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 15 Sep 2025 10:34:59 -0700
Subject: [PATCH] Change coverage schedule to run every two days

---
 .github/workflows/coverage.yml | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index b371a03b5..d23296a2e 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -1,12 +1,8 @@
 name: Code Coverage
 
 on:
-  push:
-    branches: [ master ]
-  pull_request:
-    branches: [ master ]
   schedule:
-    - cron: "0 11 * * *"
+    - cron: '0 0 */2 * *'
 
 permissions:
   contents: read