Don't trigger CI on pushes to web*.

This commit is contained in:
tastytea 2020-10-18 08:42:56 +02:00
parent 14851c30d4
commit 3c32f638da
Signed by untrusted user: tastytea
GPG Key ID: CFC39497F1B26E07

View File

@ -7,6 +7,11 @@ volumes:
host:
path: /var/cache/debian-package-cache
trigger:
branch:
exclude:
- web*
steps:
- name: jsonlint-php
image: debian:buster-slim