Make minor fixes to the crate claim workflow#2259

Merged

jdisanti merged 2 commits intomainfrom jdisanti-cleanup-claim-crate-names

Jan 31, 2023

+3-4

Commits on Jan 28, 2023

Make minor fixes to the crate claim workflow
jdisanti
committed

Commits on Jan 30, 2023

Merge branch 'main' into jdisanti-cleanup-claim-crate-names
jdisanti
authored