mirror of
https://github.com/chenasraf/DefinitelyTyped.git
synced 2026-05-18 01:49:01 +00:00
Add a scheduled workflow to trigger the daily run of the mergebot (#64327)
Scheduled workflows are automatically disabled for repositories without recent activity. So this scheduled workflow does not work well when configured in the dt-mergebot repository. To keep things self-contained, this workflow only triggers a workflow in the dt-mergebot repository, where all the logic still lives.
This commit is contained in:
committed by
GitHub
parent
198e647ba0
commit
0c27024bbf
14
.github/workflows/daily.yml
vendored
Normal file
14
.github/workflows/daily.yml
vendored
Normal file
@@ -0,0 +1,14 @@
|
||||
name: Daily Open PR sync
|
||||
|
||||
on:
|
||||
schedule:
|
||||
- cron: "37 */6 * * *"
|
||||
|
||||
jobs:
|
||||
trigger_bot:
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
steps:
|
||||
- run: 'gh workflow run daily.yml -R DefinitelyTyped/dt-mergebot'
|
||||
env:
|
||||
GITHUB_TOKEN: ${{ secrets.GH_TOKEN }}
|
||||
Reference in New Issue
Block a user