From 7d1ec2419e4aebf5caf3b8ccc814ab5df7312f2b Mon Sep 17 00:00:00 2001
From: Michael Kraus <michael.kraus@ipp.mpg.de>
Date: Wed, 1 Apr 2020 16:56:22 +0200
Subject: [PATCH] Update Documentation.yml to set PYTHON environment variable.

---
 .github/workflows/Documentation.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
index fbc3bb6..f149131 100644
--- a/.github/workflows/Documentation.yml
+++ b/.github/workflows/Documentation.yml
@@ -15,6 +15,10 @@ jobs:
       - uses: julia-actions/setup-julia@latest
         with:
           version: 1.3
+      - name: set environment variables
+        uses: allenevans/set-env@v1.0.0
+        with:
+          PYTHON: ''
       - name: Install dependencies
         run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
       - name: Build and deploy Documentation