Skip to content

Update nomicon ci job name#1520

Merged
jackh726 merged 1 commit intorust-lang:masterfrom ehuss:nomicon-ci-jobAug 12, 2024

Commits

Commits on Aug 12, 2024