HEAVY table substring matching over-fires (python3.*, *-wrapper, util-linux…) #6
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
costmodel.py:121doesif key in lowover the full store name. Consequences:"python3"matchespython3.12-requests→ every Python library gets 6 min instead of 1-min DEFAULT (6× work inflation on Python-heavy closures);"linux-"matchesutil-linux-…(14 min);"gcc"/"clang"matchgcc-wrapper/clang-wrapper(30–40 min for second-long builds);"rustc"matchesrustc-wrapper;"cmake"matches*-cmake-*.Implementation:
(^|-)key([-0-9.]|$)against the pname).-wrapper/-doc/-man/.dev-style names to TRIVIAL/DEFAULT before consulting HEAVY.is_trivialbefore the HEAVY loop.Fixed and merged to main (commit
837b885).