Best for me was a Silca Gravelero mini pump: https://silca.cc/products/gravelero-mini-pump

I’ve had some lousy experiences the last few years with mini pumps that unscrew valve cores or make it too difficult hard to pump a tire up to decent pressure or aren’t particularly mini and don’t fit in a seat bag. The Silca pump checks all of the boxes.