CI: Always dump performance metrics.