Generally its not a good idea to mix oil types. However, from my reading, oils from the same companies usually are ok to mix. Did your oil turn to gel after you added the wrong type? Probably not. And I would bet it should be fine. Now if you take oils of different blends from different companies, Id be more concerned.
For your machines miner oil is fine unless running power valves.