From acbdce7e8bc1d80322d02b0b1ed426fb23f59412 Mon Sep 17 00:00:00 2001
From: qwjyh <urataw421@gmail.com>
Date: Fri, 25 Oct 2024 16:48:29 +0900
Subject: [PATCH] disable CI

---
 .github/workflows/lean_action_ci.yml | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml
index 09cd4ca..31fda9d 100644
--- a/.github/workflows/lean_action_ci.yml
+++ b/.github/workflows/lean_action_ci.yml
@@ -1,14 +1,14 @@
-name: Lean Action CI
-
-on:
-  push:
-  pull_request:
-  workflow_dispatch:
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-
-    steps:
-      - uses: actions/checkout@v4
-      - uses: leanprover/lean-action@v1
+# name: Lean Action CI
+#
+# on:
+#   push:
+#   pull_request:
+#   workflow_dispatch:
+#
+# jobs:
+#   build:
+#     runs-on: ubuntu-latest
+#
+#     steps:
+#       - uses: actions/checkout@v4
+#       - uses: leanprover/lean-action@v1