Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to '.github/workflows/rustc-pull.yml')
-rw-r--r--.github/workflows/rustc-pull.yml21
1 files changed, 21 insertions, 0 deletions
diff --git a/.github/workflows/rustc-pull.yml b/.github/workflows/rustc-pull.yml
new file mode 100644
index 0000000000..37cf5f3726
--- /dev/null
+++ b/.github/workflows/rustc-pull.yml
@@ -0,0 +1,21 @@
+name: rustc-pull
+
+on:
+ workflow_dispatch:
+ schedule:
+ # Run at 04:00 UTC every Monday and Thursday
+ - cron: '0 4 * * 1,4'
+
+jobs:
+ pull:
+ if: github.repository == 'rust-lang/rust-analyzer'
+ uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main
+ with:
+ github-app-id: ${{ vars.APP_CLIENT_ID }}
+ zulip-stream-id: 185405
+ zulip-bot-email: "[email protected]"
+ pr-base-branch: master
+ branch-name: rustc-pull
+ secrets:
+ zulip-api-token: ${{ secrets.ZULIP_API_TOKEN }}
+ github-app-secret: ${{ secrets.APP_PRIVATE_KEY }}