mirror of
https://github.com/rust-lang/rust.git
synced 2025-12-30 04:55:30 +00:00
23 lines
756 B
YAML
23 lines
756 B
YAML
# Perform a subtree sync (pull) using the josh-sync tool once every few days (or on demand).
|
|
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/stdarch'
|
|
uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main
|
|
with:
|
|
# https://rust-lang.zulipchat.com/#narrow/channel/208962-t-libs.2Fstdarch/topic/Subtree.20sync.20automation/with/528461782
|
|
zulip-stream-id: 208962
|
|
zulip-bot-email: "stdarch-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 }}
|