Skip to content

Merge branch 'main' into dev_d #4

Merge branch 'main' into dev_d

Merge branch 'main' into dev_d #4

Workflow file for this run

name: Build and Deploy Documentation
on: [push, pull_request, workflow_dispatch]
jobs:
documentation:
runs-on: ubuntu-22.04
env:
FC: gfortran
GCC_V: 12
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Install Dependencies Ubuntu
run: |
sudo apt-get update
sudo apt install -y gfortran-${GCC_V} python3-dev graphviz
sudo pip install ford markdown
- name: Build Developer Documentation
run: |
ford ford.md
- name: Upload Documentation
uses: actions/upload-artifact@v2
with:
name: documentation
path: doc/ford_site
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 }}/ford_site/index.html
RECURSIVE: true
ASSIGNEES: ${{ github.actor }}
- name: Deploy API Documentation
uses: JamesIves/[email protected]
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: gh-pages
folder: doc/ford_site