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 6efda6a476
commit 363347830b

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 * * *'