Skip to content

[trivial] Update documentation regarding safety for tasks with axioms. #1599

[trivial] Update documentation regarding safety for tasks with axioms.

[trivial] Update documentation regarding safety for tasks with axioms. #1599

Workflow file for this run

---
name: macOS
on:
push:
branches: [main, release-*]
pull_request:
branches: [main, release-*]
jobs:
test:
name: Compile and test planner
timeout-minutes: 60
runs-on: ${{ matrix.version.macos }}
strategy:
matrix:
version:
- {macos: macos-13, python: '3.10'}
- {macos: macos-14, python: '3.10'}
steps:
- name: Clone repository
uses: actions/checkout@v3
- name: Install Python
uses: actions/setup-python@v4
with:
python-version: ${{ matrix.version.python }}
- name: Compile planner
run: |
export CXXFLAGS="-Werror" # Treat compilation warnings as errors.
./build.py
./build.py --debug
- name: Install tox
run: |
pip3 install tox
- name: Install VAL
run: |
brew install gnu-sed
git clone https://github.com/KCL-Planning/VAL.git
cd VAL
git checkout a5565396007eee73ac36527fbf904142b3077c74
make clean # Remove old build artifacts and binaries.
gsed -i 's/-Werror //g' Makefile # Ignore warnings.
make -j2
mv validate ../
cd ../
rm -rf VAL
- name: Run driver, translator and search tests
run: |
export PATH="$(pwd):$PATH" # Add VAL to path.
cd misc
tox -e driver,translator,search
...