From fc03d36f15434d2fa879569d1852fc35bfa75f1f 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