Zulip Chat Archive
Stream: triage
Topic: PR !4#16658: add tips file
Random Issue Bot (Nov 16 2024 at 14:11):
Today I chose PR 16658 for discussion!
add tips file
Created by @damiano (@adomani) on 2024-09-10
Labels: WIP, awaiting-author, merge-conflict, test-ci
Is this PR still relevant? Any recent updates? Anyone making progress?
Damiano Testa (Nov 16 2024 at 15:40):
This PR is an attempt to produce a list of the declarations that depend on the largest number of constants: I do not think that there is much else to it, unless there is interest in trying to make this more efficient and run this periodically as a report of some sort.
Last updated: May 02 2025 at 03:31 UTC