From 01da2679886ba3ad34eac19a1a8e074499677b83 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 15 Sep 2025 10:35:44 -0700
Subject: [PATCH] Update Pyodide workflow to use scheduled builds

---
 .github/workflows/pyodide.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml
index 8ba9d2401..a840b1fad 100644
--- a/.github/workflows/pyodide.yml
+++ b/.github/workflows/pyodide.yml
@@ -1,8 +1,8 @@
 name: Pyodide Build
 
 on:
-  push:
-    branches: [ master ]
+  schedule:
+    - cron: '0 0 */2 * *'
 
 env:
   BUILD_TYPE: Release