Skip to content

ci: improve github action name#135620

Merged
bors merged 1 commit intorust-lang:masterfrom
marcoieni:edit-ghcr-action-name
Jan 18, 2025
Merged

ci: improve github action name#135620
bors merged 1 commit intorust-lang:masterfrom
marcoieni:edit-ghcr-action-name

Commits

Commits on Jan 17, 2025