user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #2523 from Kobzol/ci-main

Browse source 
Use main branch of josh-sync for CI workflow
This commit is contained in:
Jakub Beránek 2025-07-29 10:03:41 +02:00 • committed by GitHub
commit dc17d356f5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml vendored
View file

@ -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