1
0
mirror of https://github.com/TeamNewPipe/NewPipe.git synced 2024-11-21 18:42:35 +01:00

Run CI on PRs which target the master branch

This is a fix for the release PRs
This commit is contained in:
Tobi 2021-06-05 17:34:27 +02:00 committed by GitHub
parent ded6540422
commit 81d00f2e97
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4,6 +4,7 @@ on:
pull_request:
branches:
- dev
- master
push:
branches:
- dev