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

Switch CI from bors to merge queue

Browse source
This commit is contained in:
Jakub Beránek 2024-10-25 10:28:45 +02:00
parent 5873cb9d17
commit 3338611c1b
No known key found for this signature in database
GPG key ID: 909CD0D26483516B
6 changed files with 54 additions and 115 deletions
Download patch file Download diff file Expand all files Collapse all files

1
book/src/development/README.md
View file

@ -53,7 +53,6 @@ book](../lints.md).
> - IDE setup
> - High level overview on how Clippy works
> - Triage procedure
> - Bors and Homu
[ast]: https://rustc-dev-guide.rust-lang.org/syntax-intro.html
[hir]: https://rustc-dev-guide.rust-lang.org/hir.html