Skip to content

[NO REVIEW] CI: Add coverage for the demo directory #955

[NO REVIEW] CI: Add coverage for the demo directory

[NO REVIEW] CI: Add coverage for the demo directory #955

Workflow file for this run

name: Build and Deploy Documentation
on: [push, pull_request]
concurrency:
# De-duplicate concurrent workflow runs on the same branch/ref
group: ${{ github.workflow }}-${{ github.head_ref || github.ref_name }}
cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
jobs:
Build:
name: FORD docs
runs-on: ubuntu-22.04
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Install Dependencies Ubuntu
run: |
sudo apt-get update
sudo apt install -y python3-dev python3 build-essential graphviz
sudo python3 -m pip install ford
- name: Build Developer Documenation
run: |
ford ford.md
- name: Upload Documentation
uses: actions/upload-artifact@v4
with:
name: documentation
path: doc/html
if-no-files-found: error
- name: Broken Link Check
if: ${{ github.ref == 'refs/heads/main'}}
uses: technote-space/broken-link-checker-action@v1
with:
TARGET: file://${{ github.workspace }}/doc/html/index.html
RECURSIVE: true
ASSIGNEES: ${{ github.actor }}
- name: Deploy API Documentation
uses: JamesIves/github-pages-deploy-action@4.1.0
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
with:
branch: gh-pages
folder: doc/html