nitro-engine/.github/workflows/build.yml
Antonio Niño Díaz 02f3cd7012
Some checks failed
Documentation / Generate website (push) Has been cancelled
Documentation / Publish website with GitHub pages (push) Has been cancelled
github: Add workflow to publish the documentation
2025-05-14 00:02:21 +01:00

80 lines
1.6 KiB
YAML

# SPDX-License-Identifier: CC0-1.0
#
# SPDX-FileContributor: Antonio Niño Díaz, 2025
name: Documentation
on:
push:
branches:
- 'master'
paths-ignore:
- '**.rst'
- 'examples'
- 'licenses'
- 'Makefile*'
- 'source*'
- 'tests'
- 'tools'
workflow_dispatch:
repository_dispatch:
types: [run_build]
permissions:
contents: read
pages: write
id-token: write
packages: write
jobs:
generate_website:
name: Generate website
runs-on: ubuntu-latest
strategy:
fail-fast: true
steps:
- name: Clone project
uses: actions/checkout@v4
with:
ref: 'master'
fetch-depth: 0
- name: Install dependencies
run: |
sudo apt-get install doxygen
- name: Build documentation
run: |
cd documentation
bash generate.sh
# Create tarball with everything to upload to GitHub pages
cd html
tar -cvf ../../repo.tar ./*
- name: Upload repo artifact
uses: actions/upload-artifact@v4
with:
name: github-pages
path: repo.tar
if-no-files-found: error
publish_repo:
name: Publish website with GitHub pages
if: contains(github.ref,'refs/heads/master')
needs: [generate_website]
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Setup Pages
uses: actions/configure-pages@v5
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4