Remove lean4checker for now

Signed-off-by: zeramorphic <[email protected]>
leanprover-community · Oct 22, 2023 · 4da168f · 4da168f
1 parent 3476507
commit 4da168f
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/.github/workflows/push_main.yml b/.github/workflows/push_main.yml
@@ -25,14 +25,14 @@ jobs:
       - name: build project
         run: ~/.elan/bin/lake -Kenv=dev build ConNF
 
-      - name: build lean4checker
-        run: |
-          git clone https://github.com/leanprover/lean4checker
-          cd lean4checker
-          ~/.elan/bin/lake -Kenv=dev build
-
-      - name: check environments using lean4checker
-        run: grep -h '^import ConNF.' ConNF/*.lean | sed 's/import //' | xargs -n 1 -P 8 ~/.elan/bin/lake -Kenv=dev env lean4checker/build/bin/lean4checker
+      # - name: build lean4checker
+      #   run: |
+      #     git clone https://github.com/leanprover/lean4checker
+      #     cd lean4checker
+      #     ~/.elan/bin/lake -Kenv=dev build
+
+      # - name: check environments using lean4checker
+      #   run: grep -h '^import ConNF.' ConNF/*.lean | sed 's/import //' | xargs -n 1 -P 8 ~/.elan/bin/lake -Kenv=dev env lean4checker/build/bin/lean4checker
 
       - name: build documentation
         run: ~/.elan/bin/lake -Kenv=dev build ConNF:docs