There are several things to also check:
Drivers Pro Micro & Fio V3 Hookup Guide - SparkFun Learn
FAQ Pro Micro & Fio V3 Hookup Guide - SparkFun Learn
Finally, this thread/steps worked for someone else: How to load Arduino sketch on SparkFun Qwiic Pro Micro - USB-C (ATmega32U4) from Apple Silicon Mac - #5 by zachrattner