ci: don't run github actions on docs changes (#3187)

This commit is contained in:
Erez Rokah 2020-02-03 13:47:01 +02:00 committed by GitHub
parent b71c496d97
commit b579489525
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,9 +7,15 @@ on:
tags:
- '*'
paths-ignore:
- 'website/**'
pull_request:
types: [opened, synchronize, reopened]
paths-ignore:
- 'website/**'
jobs:
build:
runs-on: ubuntu-latest