Merge remote-tracking branch 'origin/master' into planning/add-hierar…

…chical-problem
IRLL · Mar 12, 2024 · 18c3ad5 · 18c3ad5
2 parents 48e1662 + 97bf01f
commit 18c3ad5
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/.github/workflows/python-tests-no-optdeps.yml b/.github/workflows/python-tests-no-optdeps.yml
@@ -25,16 +25,6 @@ jobs:
         git submodule update --init --recursive
         python -m pip install --upgrade pip
         pip install .[dev]
-    - name: Setup java for ENHSP
-      uses: actions/setup-java@v2
-      with:
-        distribution: "microsoft"
-        java-version: "17"
-    - name: Download and install ENHSP
-      run: |
-        git clone https://gitlab.com/enricos83/ENHSP-Public.git
-        cd ENHSP-Public; git checkout enhsp20-0.9.7; bash ./compile; cd ..
-        bash -c "mkdir .planners; mv ENHSP-Public/enhsp-dist .planners/enhsp-20; rm -rf ENHSP-Public"
     - name: Test with pytest
       run: |
         pytest tests