From c16be2e298e246c345008bf48e1e9f3db65b118e Mon Sep 17 00:00:00 2001
From: max <maksim.levental@gmail.com>
Date: Thu, 30 Jan 2025 01:11:25 -0500
Subject: [PATCH] disable eudsl-py

---
 .../workflows/build_test_release_eudsl.yml    | 150 +++++++++---------
 1 file changed, 75 insertions(+), 75 deletions(-)

diff --git a/.github/workflows/build_test_release_eudsl.yml b/.github/workflows/build_test_release_eudsl.yml
index dbcd439..a1985e0 100644
--- a/.github/workflows/build_test_release_eudsl.yml
+++ b/.github/workflows/build_test_release_eudsl.yml
@@ -178,21 +178,21 @@ jobs:
             $python3_command -m pip wheel "$PWD/projects/eudsl-nbgen" -w wheelhouse -v --no-build-isolation
           fi
 
-      - name: "Build eudsl-py"
-        if: ${{ ! startsWith(matrix.os, 'windows') }}
-        run: |
-
-          if [[ "${{ github.event_name }}" == "workflow_dispatch" ]]; then
-            if [[ "${{ matrix.os }}" == "ubuntu" ]]; then
-              export CCACHE_DIR=/host/$CCACHE_DIR
-            fi
-            $python3_command -m cibuildwheel "$PWD/projects/eudsl-py" --output-dir wheelhouse
-          else
-            export CMAKE_PREFIX_PATH=$PWD/llvm-install
-            export PIP_FIND_LINKS=$PWD/wheelhouse
-            $python3_command -m pip install eudsl-nbgen -f wheelhouse
-            $python3_command -m pip wheel "$PWD/projects/eudsl-py" -w wheelhouse -v --no-build-isolation
-          fi
+#      - name: "Build eudsl-py"
+#        if: ${{ ! startsWith(matrix.os, 'windows') }}
+#        run: |
+#
+#          if [[ "${{ github.event_name }}" == "workflow_dispatch" ]]; then
+#            if [[ "${{ matrix.os }}" == "ubuntu" ]]; then
+#              export CCACHE_DIR=/host/$CCACHE_DIR
+#            fi
+#            $python3_command -m cibuildwheel "$PWD/projects/eudsl-py" --output-dir wheelhouse
+#          else
+#            export CMAKE_PREFIX_PATH=$PWD/llvm-install
+#            export PIP_FIND_LINKS=$PWD/wheelhouse
+#            $python3_command -m pip install eudsl-nbgen -f wheelhouse
+#            $python3_command -m pip wheel "$PWD/projects/eudsl-py" -w wheelhouse -v --no-build-isolation
+#          fi
 
       # just to/make sure total build continues to work
       - name: "Build all of eudsl"
@@ -287,65 +287,65 @@ jobs:
             python -m pytest -rA --capture=tee-sys $TESTS_DIR
           fi
 
-  test-eudsl-py:
-
-    needs: [build-eudsl]
-
-    strategy:
-      fail-fast: false
-      matrix:
-        runs-on: [
-          "ubuntu-22.04",
-          "ubuntu-22.04-arm",
-          "macos-14"
-          # "windows-2019"
-        ]
-        python-version: [
-          # "3.9", "3.10", "3.11",
-          "3.12"]
-        include: [
-          {runs-on: "ubuntu-22.04", name: "ubuntu_x86_64", os: "ubuntu"},
-          {runs-on: "ubuntu-22.04-arm", name: "ubuntu_aarch64", os: "ubuntu"},
-          # TODO(max): enable on windows by statically linking
-          # {runs-on: "windows-2019", name: "windows_x86_64", os: "windows"},
-          {runs-on: "macos-14", name: "macos_arm64", os: "macos"}
-        ]
-
-    runs-on: ${{ matrix.runs-on }}
-
-    name: "Test eudsl-py ${{ matrix.name }}"
-
-    defaults:
-      run:
-        shell: bash
-
-    steps:
-      - name: "Check out repository"
-        uses: actions/checkout@v4.2.2
-        with:
-          submodules: false
-
-      - name: "Install Python"
-        uses: actions/setup-python@v4
-        with:
-          python-version: "${{ matrix.python-version }}"
-
-      - uses: actions/download-artifact@v4
-        with:
-          name: eudsl_${{ matrix.name }}_artifact
-          path: wheelhouse
-
-      - name: "Install eudsl-py"
-        run: |
-          
-          python -m pip install pytest
-          python -m pip install eudsl-py -f wheelhouse
-
-      - name: "Test eudsl-py"
-        run: |
-          
-          export TESTS_DIR="$PWD/projects/eudsl-py/tests"
-          python -m pytest -rA --capture=tee-sys $TESTS_DIR
+#  test-eudsl-py:
+#
+#    needs: [build-eudsl]
+#
+#    strategy:
+#      fail-fast: false
+#      matrix:
+#        runs-on: [
+#          "ubuntu-22.04",
+#          "ubuntu-22.04-arm",
+#          "macos-14"
+#          # "windows-2019"
+#        ]
+#        python-version: [
+#          # "3.9", "3.10", "3.11",
+#          "3.12"]
+#        include: [
+#          {runs-on: "ubuntu-22.04", name: "ubuntu_x86_64", os: "ubuntu"},
+#          {runs-on: "ubuntu-22.04-arm", name: "ubuntu_aarch64", os: "ubuntu"},
+#          # TODO(max): enable on windows by statically linking
+#          # {runs-on: "windows-2019", name: "windows_x86_64", os: "windows"},
+#          {runs-on: "macos-14", name: "macos_arm64", os: "macos"}
+#        ]
+#
+#    runs-on: ${{ matrix.runs-on }}
+#
+#    name: "Test eudsl-py ${{ matrix.name }}"
+#
+#    defaults:
+#      run:
+#        shell: bash
+#
+#    steps:
+#      - name: "Check out repository"
+#        uses: actions/checkout@v4.2.2
+#        with:
+#          submodules: false
+#
+#      - name: "Install Python"
+#        uses: actions/setup-python@v4
+#        with:
+#          python-version: "${{ matrix.python-version }}"
+#
+#      - uses: actions/download-artifact@v4
+#        with:
+#          name: eudsl_${{ matrix.name }}_artifact
+#          path: wheelhouse
+#
+#      - name: "Install eudsl-py"
+#        run: |
+#
+#          python -m pip install pytest
+#          python -m pip install eudsl-py -f wheelhouse
+#
+#      - name: "Test eudsl-py"
+#        run: |
+#
+#          export TESTS_DIR="$PWD/projects/eudsl-py/tests"
+#          python -m pytest -rA --capture=tee-sys $TESTS_DIR
 
   test-eudsl-llvmpy:
 
@@ -413,7 +413,7 @@ jobs:
     if: ${{ github.event_name == 'workflow_dispatch' }}
     needs: [
       test-eudsl-tblgen,
-      test-eudsl-py,
+      # test-eudsl-py,
       test-eudsl-llvmpy
     ]
     runs-on: "ubuntu-22.04"