forked from phoedos/pmd
Adapt CI to build in merge queue
See https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue
This commit is contained in:
parent
be4dd9cef0
commit
a1712cea98
1
.github/workflows/build.yml
vendored
1
.github/workflows/build.yml
vendored
@ -9,6 +9,7 @@ on:
|
||||
tags:
|
||||
- '**'
|
||||
pull_request:
|
||||
merge_group:
|
||||
schedule:
|
||||
# build it monthly: At 04:00 on day-of-month 1.
|
||||
- cron: '0 4 1 * *'
|
||||
|
Loading…
x
Reference in New Issue
Block a user