From f11b2692d2601a5f2e62d5f1434b88d71ddf1af2 Mon Sep 17 00:00:00 2001 From: Seasawher Date: Mon, 21 Oct 2024 19:01:04 +0900 Subject: [PATCH] =?UTF-8?q?Revert=20"Mathlib=20=E7=94=B1=E6=9D=A5=E3=81=AE?= =?UTF-8?q?=E8=AD=A6=E5=91=8A=E3=81=8C=E3=81=82=E3=82=8B=E3=81=AE=E3=81=A7?= =?UTF-8?q?=E3=80=81=E8=AD=A6=E5=91=8A=E3=81=8C=E3=81=82=E3=81=A3=E3=81=9F?= =?UTF-8?q?=E3=82=89=E3=82=A8=E3=83=A9=E3=83=BC=E3=81=AB=E3=81=99=E3=82=8B?= =?UTF-8?q?=E3=81=AE=E3=82=92=E4=B8=80=E6=99=82=E7=9A=84=E3=81=AB=E3=82=84?= =?UTF-8?q?=E3=82=81=E3=82=8B"?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This reverts commit 47033d46a17ea1f46e63e7a4fad50ef228ab8185. --- .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 cbbefee5..a8ce1a2d 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: "--log-level=error" + build-args: "--fail-level=warning" # Lean の更新により Windows 環境でだけビルドが壊れる可能性もあるので、 # 念のために Windows 環境でもビルドを行う