Skip to content

CI: fix label of rustdoc job #1287

CI: fix label of rustdoc job

CI: fix label of rustdoc job #1287

test

succeeded Sep 9, 2024 in 21s