Update workflow (#255)

This commit is contained in:
Jure Bajic 2021-10-05 09:03:48 +02:00 committed by GitHub
parent 046cd80054
commit f7ef5f50a4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,8 @@
name: Diff
on:
push:
workflow_dispatch:
pull_request:
paths-ignore:
- 'docs/**'
- '**/*.md'