From 9887f050eb6add82d35fd2fc098e364d1757b5be Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 13 Jan 2026 10:48:34 -0800 Subject: [PATCH] Update pyodide.yml --- .github/workflows/pyodide.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/pyodide.yml b/.github/workflows/pyodide.yml index 6b6014d2e..e95da0255 100644 --- a/.github/workflows/pyodide.yml +++ b/.github/workflows/pyodide.yml @@ -3,6 +3,7 @@ name: Pyodide Build on: schedule: - cron: '0 0 */2 * *' + workflow_dispatch: env: BUILD_TYPE: Release