Upgrading tasks for bots do not occur while mining is available in the same robot network. Needs to be a check just like there is for item construction. ty
btw also alt select tool doesnt seem to unflag ore for mining.
When you alt-select ore, if the ore is in the list of ores to be mined, it should print something to the console, just like when you add ores. If it doesn't, those ores aren't scheduled to be mined.