From 47033d46a17ea1f46e63e7a4fad50ef228ab8185 Mon Sep 17 00:00:00 2001 From: Seasawher Date: Wed, 16 Oct 2024 06:06:45 +0900 Subject: [PATCH] =?UTF-8?q?Mathlib=20=E7=94=B1=E6=9D=A5=E3=81=AE=E8=AD=A6?= =?UTF-8?q?=E5=91=8A=E3=81=8C=E3=81=82=E3=82=8B=E3=81=AE=E3=81=A7=E3=80=81?= =?UTF-8?q?=E8=AD=A6=E5=91=8A=E3=81=8C=E3=81=82=E3=81=A3=E3=81=9F=E3=82=89?= =?UTF-8?q?=E3=82=A8=E3=83=A9=E3=83=BC=E3=81=AB=E3=81=99=E3=82=8B=E3=81=AE?= =?UTF-8?q?=E3=82=92=E4=B8=80=E6=99=82=E7=9A=84=E3=81=AB=E3=82=84=E3=82=81?= =?UTF-8?q?=E3=82=8B?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a8ce1a2d..cbbefee5 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 環境でもビルドを行う