Ah good point - it didn't register that this is an existing benchmark. We need to get existing benchmarks out of the main test pipeline so I'll raise a separate issue for that. Thanks for highlighting this. Fixing up the scalariform should thus be all that is required.