Merge pull request #951 from lean-ja/Seasawher/issue950

warning がないことをCIで検証する

.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: