subtree-push nightly-2024-09-19#13

Open

github-actions[bot] wants to merge 3 commits intosubtree_push_automationfrom

subtree-push-nightly-2024-09-19

Commits on Sep 19, 2024

automate git subtree-push pull requests
ytmimi
committed
Merge remote-tracking branch 'origin/subtree_push_automation' into subtree-push-nightly-2024-09-19
rustfmt bot
committed
chore: bump rustfmt toolchain to nightly-2024-09-19
rustfmt bot
committed