Oh no, really?? I thought I fixed that! I'll add it to the backlog, sorry! that was some bad luck, seems to be an edge case, not only a miner digging far right but also the ONLY one to reach the cave so no other miner triggered the end screen?
I'll fix that asap. Sorry for the inconvenience!