diff options
| author | Amanieu d'Antras <amanieu@gmail.com> | 2025-07-14 23:23:21 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-14 23:23:21 +0000 |
| commit | 63cc37c5783ee635684c04848024c9db1d2b6762 (patch) | |
| tree | 757b6617805e6f5753fcbe320c9919272fa7c7e4 | |
| parent | decddf758aff98bd4fe8f16d5926004d6b398983 (diff) | |
| parent | 9de6e2c5477f56031b5737257f2213ba96e794ed (diff) | |
Merge pull request #1870 from Kobzol/rustc-pull-ci
Add rustc-pull CI automation workflow
| -rw-r--r-- | library/stdarch/.github/workflows/rustc-pull.yml | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/library/stdarch/.github/workflows/rustc-pull.yml b/library/stdarch/.github/workflows/rustc-pull.yml new file mode 100644 index 00000000000..6b90d8a500f --- /dev/null +++ b/library/stdarch/.github/workflows/rustc-pull.yml @@ -0,0 +1,22 @@ +# 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 }} |