[skip ci]

This commit is contained in:
Simon Christ 2021-05-12 20:04:07 +02:00 committed by GitHub
parent d4b381c6f8
commit 832fec3ece
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,7 +5,7 @@ on:
jobs: jobs:
Build_docs: 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 runs-on: ubuntu-18.04
steps: steps:
- uses: julia-actions/setup-julia@v1 - uses: julia-actions/setup-julia@v1
@ -48,9 +48,9 @@ jobs:
target-branch: gh-pages target-branch: gh-pages
Skip: # Skip:
if: "contains(github.event.head_commit.message, '[skip docs]')" # if: "contains(github.event.head_commit.message, '[skip docs]')"
runs-on: ubuntu-latest # runs-on: ubuntu-latest
steps: # steps:
- name: Skip Build docs 🚫 # - name: Skip Build docs 🚫
run: echo skip docs # run: echo skip docs