From 48bdd764d83c66f5ff4e2f077dec6072c0bd40ab Mon Sep 17 00:00:00 2001
From: Seasawher <tellagoodstory@icloud.com>
Date: Mon, 7 Oct 2024 04:08:30 +0900
Subject: [PATCH] =?UTF-8?q?warning=20=E3=81=8C=E3=81=AA=E3=81=84=E3=81=93?=
 =?UTF-8?q?=E3=81=A8=E3=82=92CI=E3=81=A7=E6=A4=9C=E8=A8=BC=E3=81=99?=
 =?UTF-8?q?=E3=82=8B=20Fixes=20#950?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cbbefee5..98a8a1da 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -27,6 +27,19 @@ jobs:
         with:
           build-args: "--log-level=error"
 
+  # 警告がないことを確かめるためのジョブ
+  # ビルドが通るかどうかとは別で扱いたいので、あえて別のジョブにしている
+  ubuntu_lint:
+    runs-on: ubuntu-latest
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+
+      - name: lean action
+        uses: leanprover/lean-action@v1
+        with:
+          build-args: "--fail-level=warning"
+
   # Lean の更新により Windows 環境でだけビルドが壊れる可能性もあるので、
   # 念のために Windows 環境でもビルドを行う
   windows_build: