Skip to content

CI: fix label of rustdoc job#628

Merged
eldruin merged 1 commit intorust-embedded:masterfrom
rursprung:fix-label-of-ci-rustdoc-job
Sep 9, 2024
Merged

CI: fix label of rustdoc job#628
eldruin merged 1 commit intorust-embedded:masterfrom
rursprung:fix-label-of-ci-rustdoc-job

Commits

Commits on Sep 9, 2024