Skip to content

add timing

add timing #102

Workflow file for this run

name: Build and Deploy Documentation
on: [push, pull_request]
jobs:
Build:
runs-on: ubuntu-22.04
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Install Dependencies Ubuntu
run: |
sudo apt-get update
sudo apt install -y python3-dev python3 build-essential graphviz
sudo pip install ford markdown==3.3.4
- name: Build Developer Documenation
run: |
ford doc/ford-documentation.md
- name: Upload Documentation
uses: actions/upload-artifact@v2
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/[email protected]
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
with:
branch: gh-pages
folder: doc/html