Deep Rock Galactic

Four space dwarves drop into a procedurally generated cave that can be dug through in any direction, fill a mining quota and run for the escape pod. Ghost Ship Games finished it in 2020.