Skip to content

Fix documentation generation #55

Fix documentation generation

Fix documentation generation #55

Workflow file for this run

name: General
on:
push:
branches:
- main
pull_request:
branches:
- main
# Top-level default, no permissions
permissions: {}
jobs:
run-checks:
name: Run Checks
permissions: {}
timeout-minutes: 30
runs-on: ubuntu-22.04
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Lint Markdown files
uses: DavidAnson/markdownlint-cli2-action@v11
with:
globs: '**/*.md'
- name: Check Markdown links
uses: gaurav-nelson/github-action-markdown-link-check@v1
with:
use-quiet-mode: yes # output is too noisy, see https://github.com/gaurav-nelson/github-action-markdown-link-check/issues/121
config-file: .github/configs/mlc_config.json
- name: Setup Dart
uses: dart-lang/setup-dart@v1
- name: Install project dependencies
run: tool/gh_actions/install_dependencies.sh
- name: Verify project formatting
run: tool/gh_actions/verify_formatting.sh
- name: Analyze project source
run: tool/gh_actions/analyze_source.sh
- name: Check project documentation
run: tool/gh_actions/generate_documentation.sh
- name: Run project tests
run: tool/gh_actions/run_tests.sh
# https://github.com/devcontainers/ci/blob/main/docs/github-action.md
- name: Build dev container and run tests in it
uses: devcontainers/[email protected]
with:
runCmd: tool/gh_actions/run_tests.sh
deploy-documentation:
name: Deploy Documentation
needs: run-checks
if: github.event_name == 'push'
permissions:
contents: write # required for "JamesIves/github-pages-deploy-action"
timeout-minutes: 30
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Setup Dart
uses: dart-lang/setup-dart@v1
- name: Install project dependencies
run: tool/gh_actions/install_dependencies.sh
- name: Generate project documentation
run: tool/gh_actions/generate_documentation.sh
- name: Deploy generated documentation
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: doc/api
branch: docs