From 58bab093d1af6c8e7b73d92d886cb8651eaa17c1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 15 Sep 2025 10:36:58 -0700 Subject: [PATCH] Change MSVC build trigger to scheduled cron job Updated workflow to schedule builds every two days. --- .github/workflows/msvc-static-build.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/msvc-static-build.yml b/.github/workflows/msvc-static-build.yml index e197b1b64..9b2c7e5a6 100644 --- a/.github/workflows/msvc-static-build.yml +++ b/.github/workflows/msvc-static-build.yml @@ -1,8 +1,8 @@ name: MSVC Static Build on: - push: - pull_request: + schedule: + - cron: '0 0 */2 * *' permissions: contents: read # to fetch code (actions/checkout)