From 89223f77e7abbba44d9842ef1f949651afe5c7d8 Mon Sep 17 00:00:00 2001
From: michaeldiamant <michaeldiamant@users.noreply.github.com>
Date: Fri, 19 Aug 2022 14:30:58 -0400
Subject: [PATCH] Run Windows build nightly to speed up PR CI builds

---
 .github/workflows/build.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 825056b1e1..a4d54acf07 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,6 +1,7 @@
 name: "Build workflow"
 on:
-  pull_request:
+  schedule:
+    - cron: "7 2 * * *" # Choose haphazard minute to minimize Github scheduling delays.
 jobs:
   build-test-windows:
     runs-on: windows-2022