[kakarot]

Well it's more out of curiosity and I don't specifically measure compile times often. I develop in a variety of domains and for some things a fuzzy count of how many seconds something takes is useful. If keeping track of things with finer grained tools is required, that's fine. Whichever is the most productive for the given problem.