diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-07-29 10:03:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-29 10:03:41 +0200 |
| commit | dc17d356f5dba7dac1d7448b22882d96b34acde2 (patch) | |
| tree | 39e74c9a0399c9e46ee75f047851711cc34427cc /src/doc/rustc-dev-guide | |
| parent | ad28843b94006458417f80676bd3e8a953f83348 (diff) | |
| parent | 6a40a17051d38855b1a98bbce0021ec33ea29711 (diff) | |
| download | rust-dc17d356f5dba7dac1d7448b22882d96b34acde2.tar.gz rust-dc17d356f5dba7dac1d7448b22882d96b34acde2.zip | |
Merge pull request #2523 from Kobzol/ci-main
Use main branch of josh-sync for CI workflow
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml index ea4d7532a9f..04d6469aeaa 100644 --- a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml +++ b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml @@ -9,7 +9,7 @@ on: jobs: pull: if: github.repository == 'rust-lang/rustc-dev-guide' - uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@ci-gh-app + uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main with: github-app-id: ${{ vars.APP_CLIENT_ID }} zulip-stream-id: 196385 |