Skip to content

chore: require safety doc comment for unsafe instead of //@safety #22226

chore: require safety doc comment for unsafe instead of //@safety

chore: require safety doc comment for unsafe instead of //@safety #22226

Triggered via pull request January 9, 2025 13:45
Status Success
Total duration 2m 49s
Artifacts 1

formatting.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
nargo Expired
13.8 MB