Skip to content

ci: Update the default branch name#1032

Merged
tgross35 merged 1 commit intorust-lang:mainfrom
tgross35:default-branch-name
Dec 5, 2025
Merged

ci: Update the default branch name#1032
tgross35 merged 1 commit intorust-lang:mainfrom
tgross35:default-branch-name

Commits

Commits on Dec 5, 2025