chore: run Mathlib's verify_version_tags.py in `release_checklist.p…
#6473
| Job | Run time |
|---|---|
| 25s | |
| 25s |
verify_version_tags.py in `release_checklist.p…
#6473
| Job | Run time |
|---|---|
| 25s | |
| 25s |