Run daily CI on PRs to release a branch (#7535)

This commit is contained in:
Oran Agra 2020-07-20 13:57:54 +03:00 committed by GitHub
parent 86fed3fe09
commit 19f192c3a5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,8 +1,10 @@
name: Daily
on:
release:
types: [created]
pull_request:
branches:
# any PR to a release branch.
- '[0-9].[0-9]'
schedule:
- cron: '0 0 * * *'