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