From 832fec3eceef54c1ce76143109bf65cc4281f2e5 Mon Sep 17 00:00:00 2001
From: Simon Christ <SimonChrist@gmx.de>
Date: Wed, 12 May 2021 20:04:07 +0200
Subject: [PATCH] [skip ci]

---
 .github/workflows/docs.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index ecc2ab11..0e5d3e55 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -5,7 +5,7 @@ on:
  
 jobs:
   Build_docs:
-    if: "!contains(github.event.head_commit.message, '[skip docs]')"
+#     if: "!contains(github.event.head_commit.message, '[skip docs]')"
     runs-on: ubuntu-18.04
     steps:
       - uses: julia-actions/setup-julia@v1
@@ -48,9 +48,9 @@ jobs:
           target-branch: gh-pages
 
     
-  Skip:
-    if: "contains(github.event.head_commit.message, '[skip docs]')"
-    runs-on: ubuntu-latest
-    steps:
-      - name: Skip Build docs 🚫
-        run: echo skip docs
+#   Skip:
+#     if: "contains(github.event.head_commit.message, '[skip docs]')"
+#     runs-on: ubuntu-latest
+#     steps:
+#       - name: Skip Build docs 🚫
+#         run: echo skip docs