library/stdarch/.github/workflows/rustc-pull.yml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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 }}