diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a8ce1a2..cbbefee 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -25,7 +25,7 @@ jobs:
       - name: lean action
         uses: leanprover/lean-action@v1
         with:
-          build-args: "--fail-level=warning"
+          build-args: "--log-level=error"
 
   # Lean の更新により Windows 環境でだけビルドが壊れる可能性もあるので、
   # 念のために Windows 環境でもビルドを行う