Was looking at https://benchmarks.mikemccandless.com/ to see if the new benchmark that @kkewwei added last week was recording data, and the last update seems to have been on 5th October. Has something broken or are things just taking a really long time to run now?
- Alan
