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