Skip to content
Back to pull request #6992

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Code
8s
Documentation
9s
17s