Skip to content

rustc-dev-guide subtree update #144803

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 16 commits into from
Aug 3, 2025
+437 −19
Merged

rustc-dev-guide subtree update #144803

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
ede338c
WIP: auth using GitHub app
Kobzol Jul 29, 2025
7e4ded4
Remove `bot-pull-requests` triagebot config
Kobzol Jul 29, 2025
ad28843
Merge pull request #2521 from rust-lang/ci-gh-app
Kobzol Jul 29, 2025
6a40a17
Use main branch of josh-sync for CI workflow
Kobzol Jul 29, 2025
dc17d35
Merge pull request #2523 from Kobzol/ci-main
Kobzol Jul 29, 2025
951a6f7
Remove outdated ci.py reference
Kobzol Jul 30, 2025
bfdef36
Merge pull request #2525 from Kobzol/remove-ci-py
Kobzol Jul 30, 2025
7d37819
Prepare for merging from rust-lang/rust
invalid-email-address Jul 31, 2025
7cab27d
Merge ref '32e7a4b92b10' from rust-lang/rust
invalid-email-address Jul 31, 2025
cab1643
improve linking in the "Auxilirary builds" section of directive index
lolbinarycat Jul 31, 2025
f7267cc
Merge pull request #2527 from lolbinarycat/patch-5
jieyouxu Aug 1, 2025
4f60c90
rarw
lcnr Aug 1, 2025
c277f4e
Merge pull request #2529 from lcnr/type-system-invariants
lcnr Aug 1, 2025
ba57bba
rarw
lcnr Aug 1, 2025
219e4c1
Merge pull request #2530 from lcnr/type-system-invariants
lcnr Aug 1, 2025
171c247
Merge pull request #2526 from rust-lang/rustc-pull
tshepang Aug 1, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,10 +11,11 @@ jobs:
if: github.repository == 'rust-lang/rustc-dev-guide'
uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main
with:
github-app-id: ${{ vars.APP_CLIENT_ID }}
zulip-stream-id: 196385
zulip-bot-email: "[email protected]"
pr-base-branch: master
branch-name: rustc-pull
secrets:
zulip-api-token: ${{ secrets.ZULIP_API_TOKEN }}
token: ${{ secrets.GITHUB_TOKEN }}
github-app-secret: ${{ secrets.APP_PRIVATE_KEY }}
2 changes: 1 addition & 1 deletion src/doc/rustc-dev-guide/rust-version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2b5e239c6b86cde974b0ef0f8e23754fb08ff3c5
32e7a4b92b109c24e9822c862a7c74436b50e564
1 change: 1 addition & 0 deletions src/doc/rustc-dev-guide/src/SUMMARY.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -176,6 +176,7 @@
- [Next-gen trait solving](./solve/trait-solving.md)
- [Invariants of the type system](./solve/invariants.md)
- [The solver](./solve/the-solver.md)
- [Candidate preference](./solve/candidate-preference.md)
- [Canonicalization](./solve/canonicalization.md)
- [Coinduction](./solve/coinduction.md)
- [Caching](./solve/caching.md)
Expand Down
Loading
Loading