Skip to content
Cleanup closed PR cache entries

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

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 #2773

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cleanup
6s
6s