8 Pull requests merged by 4 people

• chore: add highlights for v4.22 release notes

  #541 merged Jul 25, 2025

• chore: bump toolchain to v4.22.0-rc4

  #546 merged Jul 24, 2025

• chore: bump nightly to 2025-07-23

  #545 merged Jul 23, 2025

• feat: use the upstreamed search/quickjump code

  #543 merged Jul 23, 2025

• chore: bump TL version

  #544 merged Jul 23, 2025

• chore: bump to nightly-2025-07-22

  #540 merged Jul 22, 2025

• chore: bump to nightly-2025-07-19

  #539 merged Jul 21, 2025

• fix: make printed page look somewhat decent

  #527 merged Jul 21, 2025

1 Issue closed by 1 person

• Workflow release-tag failed due to tex mirror can not found

  #535 closed Jul 23, 2025

1 Issue opened by 1 person

• Styling: Markdown header levels

  #542 opened Jul 23, 2025

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• build: add Dockerfile for local build environment

  #532 commented on Jul 21, 2025 • 0 new comments

• doc: propagate comments in the example grind propagator

  #537 commented on Jul 21, 2025 • 0 new comments