diff options
| author | Laurențiu Nicola <lnicola@users.noreply.github.com> | 2025-07-22 17:08:00 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-22 17:08:00 +0000 |
| commit | 45c1136fccdc8dd7e286953cff948f72fb450231 (patch) | |
| tree | 501347f667132cf851f14acc10d6e36ff07dd89c /src/tools/rust-analyzer | |
| parent | 8bab91ce35ba457353e261c52fd4968d75060bdb (diff) | |
| parent | b14869d11ff9b2fef9a99adab8f29b5e7245420f (diff) | |
| download | rust-45c1136fccdc8dd7e286953cff948f72fb450231.tar.gz rust-45c1136fccdc8dd7e286953cff948f72fb450231.zip | |
Merge pull request #20282 from Kobzol/josh-sync-ci
Add CI workflow for periodically performing josh pulls
Diffstat (limited to 'src/tools/rust-analyzer')
| -rw-r--r-- | src/tools/rust-analyzer/.github/workflows/rustc-pull.yml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/tools/rust-analyzer/.github/workflows/rustc-pull.yml b/src/tools/rust-analyzer/.github/workflows/rustc-pull.yml new file mode 100644 index 00000000000..2a842f3b311 --- /dev/null +++ b/src/tools/rust-analyzer/.github/workflows/rustc-pull.yml @@ -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 }} |