diff options
| author | Timothee Cour <timothee.cour2@gmail.com> | 2021-04-23 01:05:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-23 10:05:23 +0200 |
| commit | dbb053492a3c64236f7e8f9358b9c7f297ba241a (patch) | |
| tree | 6d5828d714f0a9580e32c2404d494c1b413ced1d /.github/workflows/ci_docs.yml | |
| parent | e4a3feeb92940a9b3c4ce88fc808a0cdff2e4e9c (diff) | |
| download | Nim-dbb053492a3c64236f7e8f9358b9c7f297ba241a.tar.gz | |
followup #17561, skipping ci now implies green (#17813)
* followup #17561, skip ci now implies green; [skip ci] * fixup [skip ci] * fixup test without skip ci * fixup [skip ci] * fixup2 [skip ci] * github actions now automatically supports [skip ci]
Diffstat (limited to '.github/workflows/ci_docs.yml')
| -rw-r--r-- | .github/workflows/ci_docs.yml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/.github/workflows/ci_docs.yml b/.github/workflows/ci_docs.yml index c9036d1d4..750613574 100644 --- a/.github/workflows/ci_docs.yml +++ b/.github/workflows/ci_docs.yml @@ -30,9 +30,6 @@ on: jobs: build: - # see D20210329T004830 - if: | - !contains(format('{0}', github.event.pull_request.title), '[skip ci]') strategy: fail-fast: false matrix: @@ -54,14 +51,6 @@ jobs: with: fetch-depth: 2 - - name: 'Check whether to skip CI' - shell: bash - run: | - # see D20210329T004830 - commitMsg=$(git log --no-merges -1 --pretty=format:"%s") - echo commitMsg: $commitMsg - echo $commitMsg | grep -v '\[skip ci\]' - - name: 'Install build dependencies (macOS)' if: runner.os == 'macOS' run: brew install make |