Skip to content

Merge pull request #510 from Sea-of-Lost-Souls/upstreammaint #650

Merge pull request #510 from Sea-of-Lost-Souls/upstreammaint

Merge pull request #510 from Sea-of-Lost-Souls/upstreammaint #650

name: Generate documentation
on:
push:
branches:
- master
permissions:
contents: read
jobs:
generate_documentation:
permissions:
contents: write # for JamesIves/github-pages-deploy-action to push changes in repo
if: "!contains(github.event.head_commit.message, '[ci skip]')"
runs-on: ubuntu-20.04
concurrency: gen-docs
steps:
- uses: actions/checkout@v3
- name: Setup cache
uses: actions/cache@v3
with:
path: ~/SpacemanDMM
key: ${{ runner.os }}-spacemandmm-${{ secrets.CACHE_PURGE_KEY }}
- name: Install SpacemanDMM
run: bash tools/ci/install_spaceman_dmm.sh dmdoc
- name: Generate documentation
run: |
~/dmdoc
touch dmdoc/.nojekyll
echo sea-of-lost-souls.github.io/Tannhauser-Gate/ > dmdoc/CNAME
- name: Deploy
uses: JamesIves/[email protected]
with:
BRANCH: gh-pages
CLEAN: true
GITHUB_TOKEN: ${{ secrets.WORKFLOWS }}
SINGLE_COMMIT: true
FOLDER: dmdoc