Skip CI jobs if corresponding tag is in HEAD commit

pull/26/head
nirenjan 2020-08-07 23:16:23 -07:00
parent 1119fe3373
commit d77342ced9
2 changed files with 2 additions and 0 deletions

View File

@ -10,6 +10,7 @@ on:
jobs: jobs:
build: build:
if: "!(contains(github.event.head_commit.message, '[ci skip]') || contains(github.event.head_commit.message, '[skip ci]'))"
name: ${{ join(matrix.*, '/') }} name: ${{ join(matrix.*, '/') }}
runs-on: ${{ matrix.os }} runs-on: ${{ matrix.os }}
continue-on-error: ${{ matrix.os == 'macos-latest' }} continue-on-error: ${{ matrix.os == 'macos-latest' }}

View File

@ -11,6 +11,7 @@ on:
jobs: jobs:
analyse: analyse:
if: "!(contains(github.event.head_commit.message, '[ci skip]') || contains(github.event.head_commit.message, '[skip ci]'))"
name: Analyse name: Analyse
runs-on: ubuntu-latest runs-on: ubuntu-latest