5 Pull requests merged by 5 people

• Only run the pull workflow once per week

  #2540 merged Aug 7, 2025

• Rustc pull update

  #2539 merged Aug 7, 2025

• Link from "Overview of the compiler § Queries" to the Queries chapter

  #2538 merged Aug 6, 2025

• Add instructions to test wasi (wasm32-wasip1) specific tests

  #2537 merged Aug 6, 2025

• Update installation.md

  #2534 merged Aug 5, 2025

1 Pull request opened by 1 person

• Mention our policy on typofixes for internal docs

  #2536 opened Aug 6, 2025