Merge pull request #20282 from Kobzol/josh-sync-ci

Add CI workflow for periodically performing josh pulls
This commit is contained in:
Laurențiu Nicola 2025-07-22 17:08:00 +00:00 committed by GitHub
commit 8d693ce4d5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

20
.github/workflows/rustc-pull.yml vendored Normal file
View file

@ -0,0 +1,20 @@
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:
zulip-stream-id: 185405
zulip-bot-email: "rust-analyzer-ci-bot@rust-lang.zulipchat.com"
pr-base-branch: master
branch-name: rustc-pull
secrets:
zulip-api-token: ${{ secrets.ZULIP_API_TOKEN }}
token: ${{ secrets.GITHUB_TOKEN }}