Skip to content

Merge branch 'NebulaSS13:dev' into dev #1

Merge branch 'NebulaSS13:dev' into dev

Merge branch 'NebulaSS13:dev' into dev #1

name: Generate Documentation
on:
push:
branches:
- dev
workflow_dispatch:
env:
SPACEMAN_DMM_VERSION: suite-1.7.2
jobs:
generate_documentation:
if: "!contains(github.event.head_commit.message, '[ci skip]')"
runs-on: ubuntu-latest
concurrency: gen-docs
steps:
- uses: actions/checkout@v3
- name: Setup Cache
uses: actions/cache@v3
with:
path: $HOME/spaceman_dmm/$SPACEMAN_DMM_VERSION
key: ${{ runner.os }}-spacemandmm-${{ env.SPACEMAN_DMM_VERSION }}
- name: Install dmdoc
run: scripts/install-spaceman-dmm.sh dmdoc
- name: Generate documentation
run: |
~/dmdoc
touch dmdoc/.nojekyll
- name: Deploy
uses: JamesIves/[email protected]
with:
token: ${{ secrets.GITHUB_TOKEN }}
branch: gh-pages-dmdoc
folder: dmdoc
force: false