diff options
author | Oran Agra <oran@redislabs.com> | 2020-07-20 13:57:54 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-20 13:57:54 +0300 |
commit | 19f192c3a5a01eead4d7c93cb372680dfb136005 (patch) | |
tree | 68c09e7ba144ef614350ece95e2a674304399f52 /.github | |
parent | 86fed3fe093cfa5342b1965b89adb4ac987890ba (diff) | |
download | redis-19f192c3a5a01eead4d7c93cb372680dfb136005.tar.gz |
Run daily CI on PRs to release a branch (#7535)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/daily.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/daily.yml b/.github/workflows/daily.yml index 0332c698f..5b5f3f7d4 100644 --- a/.github/workflows/daily.yml +++ b/.github/workflows/daily.yml @@ -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 * * *' |