Add NO_CI command

This commit is contained in:
Dennis Eichhorn 2020-02-05 08:51:14 +01:00 committed by GitHub
parent dfba5f1021
commit abdb638295
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,6 +5,7 @@ on: [push]
jobs:
autoformat:
runs-on: ubuntu-latest
if: "!contains(github.event.head_commit.message, 'NO_CI')"
strategy:
fail-fast: false
max-parallel: 3