From 93333eca66ef489b5c3a3c27431bd07e8ec983ad Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 15 Sep 2025 10:35:14 -0700
Subject: [PATCH] Change GitHub Actions trigger to scheduled

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

diff --git a/.github/workflows/cross-build.yml b/.github/workflows/cross-build.yml
index 0bda0a980..07b6fdaed 100644
--- a/.github/workflows/cross-build.yml
+++ b/.github/workflows/cross-build.yml
@@ -1,8 +1,8 @@
 name: RISC V and PowerPC 64
 
 on:
-  push:
-  pull_request:
+  schedule:
+    - cron: '0 0 */2 * *'
 
 permissions:
   contents: read