Compilation times have been decreasing over the last 6 months

Well done to the compiler team!

Tucked away in infrastructure page of the forge, is a link to, which includes lots of tools for looking at how well the Rust implementation is doing. Was struck by one of the graphs, showing a decent trend downwards in compilation times over 2016 H2.