From 29313c09446ffd70b31a7d8f9630b98d5121b7c0 Mon Sep 17 00:00:00 2001 From: David Bauer Date: Mon, 1 Jun 2020 19:40:03 +0200 Subject: [PATCH] actions: build documentation This adds a new workflow for building the Gluon documentation. In contrast to the existing build workflow, the documentation is built for every branch, as it only takes around two minutes to render the HTML documentation. --- .github/workflows/build-docs.yml | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 .github/workflows/build-docs.yml diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml new file mode 100644 index 00000000..cf0176de --- /dev/null +++ b/.github/workflows/build-docs.yml @@ -0,0 +1,20 @@ +name: Build Documentation +on: + push: + pull_request: + types: [opened, synchronize, reopened] +jobs: + build-documentation: + name: docs + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v1 + - name: Install Dependencies + run: sudo pip3 install sphinx-rtd-theme + - name: Build documentation + run: make -C docs html + - name: Archive build output + uses: actions/upload-artifact@v1 + with: + name: docs_output + path: docs/_build/html