Merge branch 'main' into scorpion

jendrikseipp · Jan 12, 2024 · 8cb0462 · 8cb0462
2 parents d09a8d5 + 2349940
commit 8cb0462
Show file tree

Hide file tree

Showing 8 changed files with 18 additions and 6,026 deletions.
diff --git a/.github/workflows/autodoc.yml b/.github/workflows/autodoc.yml
@@ -25,7 +25,9 @@ jobs:
 
       - name: Run autodoc
         run: |
+          python3 build.py
           cd misc/autodoc
+          python3 -m pip install -r requirements.txt
           python3 autodoc.py
 
 ...
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -169,7 +169,7 @@ jobs:
       - name: Run driver, translator and search tests
         run: |
           cd misc/
-          tox -e driver,translator,search
+          tox -e driver,translator,search,autodoc
 
       - name: Run CPLEX tests
         if: ${{ env.CPLEX_URL != 0 }}

diff --git a/misc/autodoc/autodoc.py b/misc/autodoc/autodoc.py
@@ -3,7 +3,6 @@
 import argparse
 import logging
 import os
-from os.path import dirname, join
 import re
 import subprocess
 import sys
@@ -120,10 +119,6 @@ def make_doc_link(m):
     return text
 
 
-def build_planner(build):
-    subprocess.check_call([sys.executable, "build.py", build, "downward"], cwd=REPO_ROOT_DIR)
-
-
 def get_pages_from_planner(build):
     out = subprocess.check_output(
         ["./fast-downward.py", "--build", build, "--search", "--", "--help", "--txt2tags"],
@@ -166,8 +161,6 @@ def add_page(title, text):
     if not args.dry_run and PASSWORD is None:
         logging.critical(f"{ENV_VAR_PASSWORD} not set.")
         sys.exit(1)
-    logging.info("building planner...")
-    build_planner(args.build)
     logging.info("getting new pages from planner...")
     new_doc_pages = get_pages_from_planner(args.build)
     if args.dry_run:

diff --git a/misc/autodoc/external/__init__.py b/misc/autodoc/external/__init__.py