Run diff on master (#275)

This commit is contained in:
Jure Bajic 2021-10-18 08:40:07 +02:00 committed by GitHub
parent df689dccd5
commit 2c86fefbb5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,13 +1,16 @@
name: Diff name: Diff
on: on:
push:
branches:
- master
workflow_dispatch: workflow_dispatch:
pull_request: pull_request:
paths-ignore: paths-ignore:
- 'docs/**' - "docs/**"
- '**/*.md' - "**/*.md"
- '.clang-format' - ".clang-format"
- 'CODEOWNERS' - "CODEOWNERS"
jobs: jobs:
community_build: community_build: