From 7ddbb154f7872c088e9080ab4aa2086efc80d7ee Mon Sep 17 00:00:00 2001 From: Frank Voorburg Date: Sun, 25 Feb 2024 14:56:18 +0100 Subject: [PATCH] Added workflow for documentation building. --- .github/workflows/publish_docs.yml | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 .github/workflows/publish_docs.yml diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml new file mode 100644 index 0000000..257a5c9 --- /dev/null +++ b/.github/workflows/publish_docs.yml @@ -0,0 +1,17 @@ +name: Publish Docs +on: + workflow_dispatch: + push: + branches: + - master + - main +jobs: + deploy: + runs-on: ubuntu-22.04 + steps: + - uses: actions/checkout@v4 + - uses: actions/setup-python@v4 + with: + python-version: 3.x + - run: pip install mkdocs + - run: mkdocs gh-deploy --force