Skip to content

Fix path ids to be unambiguous #41

Fix path ids to be unambiguous

Fix path ids to be unambiguous #41

Workflow file for this run

name: github pages
on:
push:
branches:
- main # Set a branch to deploy
paths:
- src/riddl/**
- .github/workflows/gh-pages.yml
jobs:
make-gh-pages:
name: Generate GH Pages From RIDDL Sources For Reactive BBQ
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
with:
submodules: true # Fetch Hugo themes (true OR recursive)
fetch-depth: 0 # Fetch all history for .GitInfo and .Lastmod
- name: Generate Hugo From RIDDL
uses: reactific/riddl-actions/riddlc@main
with:
command: from
opt3: src/riddl/ReactiveBBQ/ReactiveBBQ.conf
opt4: hugo
- name: Show riddlc output
run: |
echo "riddlc hugo output tree:"
tree target/hugo/ReactiveBBQ
- name: Setup Hugo
uses: peaceiris/actions-hugo@v2
with:
hugo-version: 'latest'
extended: true
- name: Generate HTML With Hugo
run: |
which hugo
hugo version
cd target/hugo/ReactiveBBQ ; \
hugo \
--minify -v \
--baseURL "https://bbq.riddl.tech" \
--printMemoryUsage \
--noBuildLock
- name: Deploy RIDDL Generated Documentation
uses: peaceiris/actions-gh-pages@v3
if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/hugo/ReactiveBBQ/public