From aa1fb63714c9cd472a1b6f7dd57634e6e38f7f24 Mon Sep 17 00:00:00 2001
From: jonaswinkler <jonas.winkler@jpwinkler.de>
Date: Sun, 10 Jan 2021 00:53:30 +0100
Subject: [PATCH] documentation action

---
 .github/workflows/ci.yml | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9d398e6d7..98c61efb4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -7,11 +7,10 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v2
-      - name: Install python version
-        uses: gabrielfalcao/pyenv-action@v7
+      - name: Set up Python
+        uses: actions/setup-python@v2
         with:
-          default: "3.6.8"
-          command: "pip install -U pip"
+          python-version: 3.8
       - name: Get pip cache dir
         id: pip-cache
         run: |
@@ -21,11 +20,9 @@ jobs:
         with:
           path: ${{ steps.pip-cache.outputs.dir }}
           key: ${{ runner.os }}-pip3.6.8}
-      - name: dependencies
-        # instead of directly installing the dependency in the workflow file, can this be done using the pipfile instead?
-        run: |
-          pip install 'sphinx~=3.3' sphinx_rtd_theme
-      - name: make
+      - name: Install dependencies
+        run: pipenv install --system --dev --ignore-pipfile
+      - name: Make documentation
         run: |
           cd docs/
           make html