From e3dc7081fa6b67d7e0404e3aa25265c0a4311e37 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 16 Jan 2026 19:57:19 -0800 Subject: [PATCH] Update cross-build.yml --- .github/workflows/cross-build.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/cross-build.yml b/.github/workflows/cross-build.yml index 771f5f7f4..828904f7c 100644 --- a/.github/workflows/cross-build.yml +++ b/.github/workflows/cross-build.yml @@ -3,6 +3,7 @@ name: RISC V and PowerPC 64 on: schedule: - cron: '0 0 */2 * *' + workflow_dispatch: permissions: contents: read