Skip to content

Setting up GitHub Classroom Feedback #4

Setting up GitHub Classroom Feedback

Setting up GitHub Classroom Feedback #4

Workflow file for this run

name: Doxygen
on:
push:
branches: [ main ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Get deal.tag
run: |
wget https://www.dealii.org/current/doxygen/deal.tag
- name: Build Doxygen documentation
uses: mattnotmitt/[email protected]
with:
doxyfile-path: "./doc/Doxyfile"
working-directory: "."
- name: Publish Doxygen documentation
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./doc/html/