1
0
Fork 0
mirror of https://github.com/puma/puma.git synced 2022-11-09 13:48:40 -05:00

Be able to skip CI from pull request title (#2593)

GitHub Actions has skipping CI built in, but only checks the commit
message. I removed too much in 26776c86.
This commit is contained in:
Patrik Ragnarsson 2021-04-08 10:59:36 +02:00 committed by GitHub
parent a99331d32e
commit 7446bd2d17
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 0 deletions

View file

@ -11,6 +11,9 @@ jobs:
TESTOPTS: -v
runs-on: ${{ matrix.os }}
if: |
!( contains(github.event.pull_request.title, '[ci skip]')
|| contains(github.event.pull_request.title, '[skip ci]'))
strategy:
fail-fast: false
matrix:

View file

@ -11,6 +11,9 @@ jobs:
TESTOPTS: -v
runs-on: ${{ matrix.os }}
if: |
!( contains(github.event.pull_request.title, '[ci skip]')
|| contains(github.event.pull_request.title, '[skip ci]'))
strategy:
fail-fast: false
matrix: