Even just printing the metrics on every pull request, and not gating on them, would make people think about it more.
It would be expensive in terms of CI hours, but at least for the community as a whole it would probably be worth it on something run as often as a compiler.
It would be expensive in terms of CI hours, but at least for the community as a whole it would probably be worth it on something run as often as a compiler.