Skip to content

Commit

Permalink
Documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
jlaurens committed Mar 23, 2024
1 parent 7f5a4cb commit 391bdc8
Show file tree
Hide file tree
Showing 4 changed files with 2,789 additions and 0 deletions.
50 changes: 50 additions & 0 deletions .github/workflows/documentation.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
# This is a basic workflow to help you get started with Actions

name: Doxygen Action

# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for the master branch
on:
push:
branches: [ main, 2024 ]

jobs:
status:
# The type of runner that the job will run on
runs-on: ubuntu-latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
- run: echo "▬▶︎ event: ${{ github.event_name }}, os: ${{ runner.os }}."
- run: echo "▬▶︎ repository: ${{ github.repository }}, branch: ${{ github.ref }}."
build:
needs: status
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
- run: echo "▬▶︎ event: ${{ github.event_name }}, os: ${{ runner.os }}."
- run: echo "▬▶︎ repository: ${{ github.repository }}, branch: ${{ github.ref }}."
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- name: Check out repository code
uses: actions/checkout@v4
- name: Doxygen Action
uses: mattnotmitt/[email protected]
with:
working-directory: '.'
doxyfile-path: 'documentation/DoxyFile'
# Deploy job, see https://github.com/actions/deploy-pages
deploy:
# Add a dependency to the build job
needs: build
# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
permissions:
pages: write # to deploy to Pages
id-token: write # to verify the deployment originates from an appropriate source
# Deploy to the github-pages environment
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}/C
# Specify runner + deployment step
runs-on: ubuntu-latest
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4 # or specific "vX.X.X" version tag for this action
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,8 @@ DerivedData/*
build
meson/build

documentation/*

.vscode
synctex test files/1/big/1.synctex
synctex test files/1/big/1.pdf
Expand Down
Loading

0 comments on commit 391bdc8

Please sign in to comment.