Add marker to skip CI invocation

This commit is contained in:
Fabian Mastenbroek 2020-07-06 22:43:02 +02:00
parent eaa1e5c154
commit 259000c00a
No known key found for this signature in database
GPG key ID: 405FC6F81F0A7B85

View file

@ -15,6 +15,7 @@ jobs:
- build_type: 'generic'
build_cc: gcc-10
build_cflags: '-O3 -Wno-error=maybe-uninitialized'
if: "!contains(github.event.head_commit.message, 'skip ci')"
steps:
- name: Checkout Sources
uses: actions/checkout@v2