Merge branch 'aibasel:main' into main

Author: haz

.github/pull_request_template.md

@@ -0,0 +1,11 @@
+> **This is a Placeholder**  
+Replace the content of this field with a meaningful description of the changes made within this pull request. It will be suggested as the commit message when merging the pull request.
+
+For the pull request title, summarize the changes in imperative mood and prepend "[issueX]" where X is the issue number in our issue tracker (issues.fast-downward.org). The title will be suggested as the commit subject.
+
+The commit message (i.e., this field) should highlight how the changes affect planner behavior:
+ - Do they add functionality?
+ - Does the command line syntax change?
+ - Is planner performance affected according to the experiment?
+
+Find our guidelines for commit messages in the Fast Downward Wiki (https://www.fast-downward.org/latest/for-developers/git/#git_conventions).

.github/workflows/autodoc.yml

@@ -21,7 +21,11 @@ jobs:
       matrix:
         version:
           - {ubuntu: 'ubuntu-22.04', python: '3.10', cc: gcc-12, cxx: g++-12, run_tox_tests: true}
-          - {ubuntu: 'ubuntu-22.04', python: '3.10', cc: clang-15, cxx: clang++-15, run_tox_tests: false}
+          # NOTE: Temporarily removing support for the second compiler of the
+          # older Ubuntu LTS because clang-15 does not support certain C++20
+          # features we would like to use (e.g., `ranges` and `views`
+          # libraries).
+          # - {ubuntu: 'ubuntu-22.04', python: '3.10', cc: clang-15, cxx: clang++-15, run_tox_tests: false}
           - {ubuntu: 'ubuntu-24.04', python: '3.10', cc: gcc-14, cxx: g++-14, run_tox_tests: true}
           - {ubuntu: 'ubuntu-24.04', python: '3.10', cc: clang-18, cxx: clang++-18, run_tox_tests: false}
     env:
@@ -98,7 +102,7 @@ jobs:
 
       - name: Upload archive
         if: ${{ matrix.version.run_tox_tests }}
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4.4.0
         with:
           name: compiled-planner-${{ matrix.version.ubuntu }}
           path: archive.tar.gz
@@ -118,12 +122,13 @@ jobs:
       CPLEX_URL: ${{ secrets.CPLEX2211_LINUX_URL }}
     steps:
       - name: Download archive
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4.1.8
         with:
           name: compiled-planner-${{ matrix.version.ubuntu }}
 
-      - name: Delete artifact
+      - name: Delete artifact (ignore if not found)
         uses: geekyeggo/delete-artifact@v2
+        continue-on-error: true  
         with:
           name: compiled-planner-${{ matrix.version.ubuntu }}
 
@@ -137,7 +142,6 @@ jobs:
           pip3 install tox
           sudo apt-get -y install zlib1g-dev libgmp3-dev gcc flex bison
 
-        # NOTE: VAL does not compile with clang-12.
       - name: Install VAL
         run: |
           git clone https://github.com/KCL-Planning/VAL.git
@@ -160,7 +164,7 @@ jobs:
       - name: Run driver, translator and search tests
         run: |
           cd misc/
-          tox -e driver,translator,search,parameters,autodoc
+          tox -e driver,translator,search,parameters,generate-docs
 
       - name: Run CPLEX tests
         if: ${{ env.CPLEX_URL != 0 }}

.github/workflows/ubuntu.yml

@@ -0,0 +1,56 @@
+---
+name: Update website
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  generate-documentation:
+    name: Generate documentation
+    if: github.repository == 'aibasel/downward'
+    timeout-minutes: 60
+    runs-on: ubuntu-24.04
+    steps:
+      - name: Clone repository
+        uses: actions/checkout@v3
+        with:
+          path: downward
+
+      - name: Checkout website repository
+        uses: actions/checkout@v4
+        with:
+          repository: aibasel/downward-markdown
+          token: ${{ secrets.DOWNWARD_WEBSITE_PAT }}
+          path: downward-website
+          ref: head-docs
+
+      - name: Install Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.10'
+
+      - name: Run autodoc
+        run: |
+          # generate documentation for search component
+          cd downward
+          python3 build.py
+          cd misc/autodoc
+          python3 -m pip install -r requirements.txt
+          python3 generate-docs.py
+          cd ../../..
+
+      - name: Move website material to website repo
+        run: |
+          cd downward-website
+          git rm --ignore-unmatch -r docs/* # wipe content and fill it from scratch
+          mkdir -p docs/
+          cp -r ../downward/docs/* docs/
+          git add docs
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          if ! git diff-index --quiet HEAD --; then
+            git commit -m "update documentation"
+            git push
+          fi

.github/workflows/update-website.yml

@@ -38,22 +38,19 @@ Note that on Windows, setting up the environment variable might require using `/
 **Important:**  The GNU Multiple Precision library (GMP) is critical for the performance of SoPlex but the build does not complain if it is not present.
 Make sure that the build uses the library (check the output of CMake for `Found GMP`).
 
-As of SoPlex 6.0.4, the release does not support C++-20, so we build  from the tip of the [GitHub main branch](https://github.com/scipopt/soplex) (adapt the path if you install a different version or want to use a different location):
+We require at least SoPlex 7.1.0, which can be built from source as follows (adapt the paths if you install a different version or want to use a different location):
 ```bash
 sudo apt install libgmp3-dev
-git clone https://github.com/scipopt/soplex.git
-export soplex_DIR=/opt/soplex-6.0.4x
-export CXXFLAGS="$CXXFLAGS -Wno-use-after-free" # Ignore compiler warnings about use-after-free
-cmake -S soplex -B build
+wget https://github.com/scipopt/soplex/archive/refs/tags/release-710.tar.gz -O - | tar -xz
+cmake -S soplex-release-710 -B build
 cmake --build build
+export soplex_DIR=/opt/soplex-7.1.0
 cmake --install build --prefix $soplex_DIR
-rm -rf soplex build
+rm -rf soplex-release-710 build
 ```
 
 After installation, permanently set the environment variable `soplex_DIR` to the value you used during the installation.
 
-**Note:** Once [support for C++-20](https://github.com/scipopt/soplex/pull/15) has been included in a SoPlex release, we can update this and can recommend the [SoPlex homepage](https://soplex.zib.de/index.php#download) for downloads instead.
-
 
 ### Optional: Plan Validator