The Problem

I had a 9.6 GB MySQL SQL dump I needed to import into my local dev machine on Windows.

phpMyAdmin → timed out immediately

mysql CLI → no progress, no idea if it's working

Online solutions → all suggest mysql < dump.sql with no visibility