Skip to content

Survey planner: respect when problem instance specifies actions were … #111

Survey planner: respect when problem instance specifies actions were …

Survey planner: respect when problem instance specifies actions were … #111

Workflow file for this run

# Build documentation and commit to gh-pages branch.
name: Build and Push Documentation to gh-pages Branch
on:
push:
branches: ['develop']
workflow_dispatch:
branches: ['develop']
jobs:
build_and_push_docs:
runs-on: ubuntu-20.04
steps:
- name: Checkout
uses: actions/checkout@v3
with:
path: repo/
- name: Checkout gh-pages
uses: actions/checkout@v3
with:
path: docs/
ref: gh-pages
- name: Install dependencies
run: |
sudo apt-get install -y bison
sudo apt-get install -y flex
sudo apt-get install -y graphviz
sudo apt-get install -y python-setuptools
- name: Install doxygen
run: |
wget 'https://sourceforge.net/projects/doxygen/files/rel-1.8.20/doxygen-1.8.20.src.tar.gz'
tar -zxvf doxygen-1.8.20.src.tar.gz
cd doxygen-1.8.20
mkdir build
cd build
cmake -G "Unix Makefiles" ..
make
sudo make install
- name: Build Documentation
run: |
cd repo
doxygen isaac.doxyfile
- name: Replace old documentation with new
run: |
rm -r docs/html
cp -r repo/doc/html docs
- name: Commit and Push
run: |
cd docs
git add --all html/
EMAIL=`git show -s --format='%ae' HEAD`
NAME=`git show -s --format='%an' HEAD`
git config user.email "$EMAIL"
git config user.name "$NAME"
{ git commit -m "Automatic update for $GITHUB_SHA." || true; }
git push origin gh-pages