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

Triggered via pull request January 9, 2025 14:04
@TomAFrenchTomAFrench
closed #6992
ab/safety-doc-comments
Status Success
Total duration 15s
Artifacts –

cache-cleanup.yml

on: pull_request
cleanup
6s
cleanup
Fit to window
Zoom out
Zoom in