rust: use doc comments #4406

Re-run triggered October 1, 2023 03:09

JasonGross

#1668

armfazh:rust_docstring

Status Success

Total duration 1m 4s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc Expired	503 KB