Skip to content

ci: improve github action name#135620

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

Commits

Commits on Jan 17, 2025