diff options
author | Josh Spicer <joshspicer@github.com> | 2022-06-14 03:02:41 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-14 03:02:41 +0300 |
commit | b855a08a726b8c00a423389b8b9d3a6422643d4e (patch) | |
tree | 108f020dca5e88c329bbe4519c877f7ca9f9406b | |
parent | 2fa323248528604a3548fd1292c74c7b473c611b (diff) |
CI ignore
-rw-r--r-- | .github/workflows/update-documentation.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/update-documentation.yml b/.github/workflows/update-documentation.yml index cc7da8d..8e39b3f 100644 --- a/.github/workflows/update-documentation.yml +++ b/.github/workflows/update-documentation.yml @@ -8,6 +8,7 @@ on: jobs: generate: runs-on: ubuntu-latest + if: "!contains(github.event.head_commit.message, 'no-ci') && !contains(github.event.head_commit.message, 'CI ignore')" steps: - uses: actions/checkout@v2 |