Skip to content

ci: Update the default branch name in remaining workflow files#1040

Merged
tgross35 merged 1 commit intorust-lang:mainfrom
tgross35:branch-name-update
Dec 7, 2025
Merged

ci: Update the default branch name in remaining workflow files#1040
tgross35 merged 1 commit intorust-lang:mainfrom
tgross35:branch-name-update

Commits

Commits on Dec 7, 2025