From 3a7e683d2ff9ed7226066fcd6d1a8c5ab47906bf Mon Sep 17 00:00:00 2001
From: Seasawher <tellagoodstory@icloud.com>
Date: Wed, 28 Aug 2024 20:51:09 +0900
Subject: [PATCH] =?UTF-8?q?windows=20build=20=E3=81=AF=20PR=20=E6=99=82?=
 =?UTF-8?q?=E3=81=AB=E8=B5=B0=E3=82=89=E3=81=9B=E3=81=AA=E3=81=84=20Fixes?=
 =?UTF-8?q?=20#716?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .github/workflows/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 2bbff058..8239ffc8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -39,8 +39,12 @@ jobs:
         with:
           build-args: "--log-level=error"
 
+  # Lean の更新により Windows 環境でだけビルドが壊れる可能性もあるので、
+  # 念のために Windows 環境でもビルドを行う
   windows_build:
     runs-on: windows-latest
+    # 失敗することはめったにないので PR 時にはチェックしない
+    if: github.ref == 'refs/heads/main'
     steps:
       - name: checkout
         uses: actions/checkout@v4