[skip ci]

This commit is contained in:
Simon Christ 2021-05-12 19:56:59 +02:00 committed by GitHub
parent cec8b363dd
commit 0c2ea667b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,7 +5,7 @@ on:
jobs:
Build_docs:
if: "!contains(github.event.head_commit.message, '[skip ci]')"
if: "!contains(github.event.head_commit.message, '[skip docs]')"
runs-on: ubuntu-18.04
steps:
- uses: julia-actions/setup-julia@v1
@ -48,7 +48,7 @@ jobs:
Skip:
if: "contains(github.event.head_commit.message, '[skip ci]')"
if: "contains(github.event.head_commit.message, '[skip docs]')"
runs-on: ubuntu-latest
steps:
- name: Skip Build docs 🚫