ci: Add skipping

This commit is contained in:
Florian Bruhin 2020-07-27 10:18:57 +02:00
parent 66bab470a1
commit ecfb8b5607
1 changed files with 4 additions and 0 deletions

View File

@ -6,6 +6,7 @@ env:
jobs:
linters:
if: "!contains(github.event.head_commit.message, '[ci skip]')"
timeout-minutes: 10
runs-on: ubuntu-latest
strategy:
@ -59,6 +60,7 @@ jobs:
run: "tox -e ${{ matrix.testenv}} -- ${{ matrix.args }}"
tests-docker:
if: "!contains(github.event.head_commit.message, '[ci skip]')"
timeout-minutes: 30
runs-on: ubuntu-20.04
strategy:
@ -86,6 +88,7 @@ jobs:
- run: tox -e py38
tests:
if: "!contains(github.event.head_commit.message, '[ci skip]')"
timeout-minutes: 45
continue-on-error: "${{ matrix.experimental == true }}"
strategy:
@ -181,6 +184,7 @@ jobs:
name: "${{ matrix.testenv }}"
codeql:
if: "!contains(github.event.head_commit.message, '[ci skip]')"
timeout-minutes: 30
runs-on: ubuntu-latest
steps: