Compile Time summary doesn't update when filters are changed even though the table does.

[Zentrik]

Note that the %s under Compile Time differ from the table. I assume this is unintended, sorry if not.

Here's the link to the benchmark.

[Jakub Beránek]

Hi, this is actually intended 😅, in the sense that the code is not updating the top table at all. It should display the summary over all the data, and isn't affected by the filters.

I suppose that we could change it, but since the filters are below the tabs, and they do not affect the other tabs that are not active (runtime benchmarks), I think that it's fine to keep it as it is.