Maintainer merge

fix: do not count un-deprecations in `Mathlib/Deprecated` #4285

Sign in to view logs

Triggered via issue November 18, 2024 10:26

adomani

commented on #19184 66df24a

Status Success

Total duration 12s

Artifacts –

maintainer_merge.yml

on: issue_comment

Ping maintainers on Zulip