summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authoroctorock <79596758+octorock@users.noreply.github.com>2022-09-04 15:34:39 +0200
committeroctorock <79596758+octorock@users.noreply.github.com>2022-09-04 17:36:28 +0200
commitf036a3fc74a9ca08479d970a52c998fa0284c66a (patch)
tree09f309f8a0acde67caa7e98aabf69151bf8ea6b8 /.github
parent127925edde268d29f20b811400b2cebd49eac6ec (diff)
Adapt GitHub action
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/doxygen.yml19
1 files changed, 14 insertions, 5 deletions
diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml
index e4e89b6b..a2a0c0b9 100644
--- a/.github/workflows/doxygen.yml
+++ b/.github/workflows/doxygen.yml
@@ -7,16 +7,25 @@ on:
jobs:
build:
- runs-on: ubuntu-latest
+ # Ubuntu 22.04 is needed for an up-to-date version of doxygen.
+ runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v2
- - name: generate docs
- uses: mattnotmitt/doxygen-action@v1
+ - name: Checkout m.css
+ uses: actions/checkout@v2
with:
- doxyfile-path: 'Doxyfile'
+ repository: octorock/m.css
+ ref: refs/heads/bitfields
+ path: ./m.css
+ - name: Install doxygen
+ run: sudo apt install -y doxygen
+ - name: Generate docs
+ run: ./m.css/documentation/doxygen.py doxygen_config.py
- name: deploy docs to github pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
- publish_dir: ./docs/doxygen
+ publish_dir: ./docs/doxygen/html
+ # We do not need history for the gh-pages branch.
+ force_orphan: true