Skip to content

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

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

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

Triggered via pull request January 9, 2025 13:45
@asteriteasterite
synchronize #6992
Status Success
Total duration 13s
Artifacts

pull-request-title.yml

on: pull_request_target
Validate PR title is Conventional Commit
3s
Validate PR title is Conventional Commit
Warn external contributors about force-pushing
0s
Warn external contributors about force-pushing
Fit to window
Zoom out
Zoom in