Skip to content

[trivial] Update BUILD.md to simplify installation instructions of So… #239

[trivial] Update BUILD.md to simplify installation instructions of So…

[trivial] Update BUILD.md to simplify installation instructions of So… #239

Workflow file for this run

---
name: Autodoc
on:
push:
branches:
- main
jobs:
autodoc:
name: Autodoc
if: github.repository == 'aibasel/downward'
timeout-minutes: 60
runs-on: ubuntu-24.04
env:
DOWNWARD_AUTODOC_PASSWORD: ${{ secrets.DOWNWARD_AUTODOC_PASSWORD }}
steps:
- name: Clone repository
uses: actions/checkout@v3
- name: Install Python
uses: actions/setup-python@v4
with:
python-version: '3.10'
- name: Run autodoc
run: |
python3 build.py
cd misc/autodoc
python3 -m pip install -r requirements.txt
python3 autodoc.py
...