Looking at, and exploring, the Linux partition using Paragon Partition Manager, there does appear to be a folder called "Grub" within the folder called "Boot", so I assume this means it has installed?
Dell XPS 13 9370 (2018) review
No need to scan sketches into your computer with Moleskine's new smart pen
WWDC history: Apple's product launches since 2005
Comment importer des contacts d’un iPhone à un autre iPhone ?