chore: lake shake --add-public --keep-implied --keep-prefix --fix #152681
Triggered via issue
April 11, 2026 14:23
mathlib-merge-conflicts[bot]
Status
Success
Total duration
6s
Artifacts
–
labels_from_comment.yml
on: issue_comment
update-label
2s