add forward to .github workflow

BatsResearch · Sep 3, 2024 · 8aa3eaa · 8aa3eaa
1 parent 06e1b92
commit 8aa3eaa
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/.github/workflows/python-package.yml b/.github/workflows/python-package.yml
@@ -43,9 +43,14 @@ jobs:
           poetry ruff planetarium/.
           poetry mypy planetarium/.
 
+      - name: Setup apptainer
+        uses: eWaterCycle/[email protected]
+
       - name: test
         run: |
           source .venv/bin/activate
+          apptainer pull fast-downward.sif docker://aibasel/downward:latest
+          export DOWNWARD=$(pwd)/fast-downward.sif
           mkdir tmp
           curl -o tmp/VAL.zip https://dev.azure.com/schlumberger/4e6bcb11-cd68-40fe-98a2-e3777bfec0a6/_apis/build/builds/77/artifacts?artifactName=linux64\&api-version=7.1\&%24format=zip
           unzip tmp/VAL.zip -d tmp/

diff --git a/planetarium/evaluate.py b/planetarium/evaluate.py
@@ -9,6 +9,7 @@
 
 
 VALIDATE = os.getenv("VALIDATE", "Validate")
+DOWNWARD = os.getenv("DOWNWARD", "downward")
 DOMAINS = dict()
 
 # load domains
@@ -24,6 +25,7 @@ def evaluate(
     is_placeholder: bool = False,
     check_solveable: bool = True,
     val: str = VALIDATE,
+    fast_downward: str = DOWNWARD,
     **downward_args,
 ) -> tuple[bool, bool, bool]:
     """Evaluate two PDDL problem descriptions for equivalence.
@@ -67,6 +69,7 @@ def evaluate(
                 plan_str, _ = downward.plan(
                     domain_str,
                     clean_pddl_str,
+                    downward=fast_downward,
                     **downward_args,
                 )
             except: