You mined a total of 100,000 rocks / ores! If you haven’t found any diamonds at this point.. just give up.