From f2677213a44144f6e12870043e80bc3d61e5336f Mon Sep 17 00:00:00 2001
From: Patrik Svensson <patrik@patriksvensson.se>
Date: Tue, 1 Sep 2020 22:00:44 +0200
Subject: [PATCH] Separate build and run when publishing docs

---
 .github/workflows/docs.yaml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 9ca3cd0..45dd540 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -30,4 +30,5 @@ jobs:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: |
         cd docs
-        dotnet run --configuration Release -- deploy
+        dotnet build --configuration Release
+        dotnet run --configuration Release --no-build -- deploy