ci: Use workflow commands to group output by target#4179
Merged
tgross35 merged 2 commits intorust-lang:mainfrom Dec 7, 2024
Merged
ci: Use workflow commands to group output by target#4179tgross35 merged 2 commits intorust-lang:mainfrom
tgross35 merged 2 commits intorust-lang:mainfrom