1
0
Fork 0

Stop ignoring build changes to trigger build, that was smart :D

pull/8842/head
Jordi Boggiano 2020-04-22 09:32:50 +02:00
parent 9a0e6e6885
commit eeaa099021
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
2 changed files with 0 additions and 4 deletions

View File

@ -3,11 +3,9 @@ name: "Continuous Integration"
on: on:
push: push:
paths-ignore: paths-ignore:
- '.github/**'
- 'doc/**' - 'doc/**'
pull_request: pull_request:
paths-ignore: paths-ignore:
- '.github/**'
- 'doc/**' - 'doc/**'
env: env:

View File

@ -3,11 +3,9 @@ name: "PHP Lint"
on: on:
push: push:
paths-ignore: paths-ignore:
- '.github/**'
- 'doc/**' - 'doc/**'
pull_request: pull_request:
paths-ignore: paths-ignore:
- '.github/**'
- 'doc/**' - 'doc/**'
jobs: jobs: