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