There are a few known bugs with double taps not working correctly in iOS 12.  Primarily, if you use the shortcut menu on the top right (with the wrench icon), double taps will not work.  


Everything will work correctly when using iOS 13.