Is it still true that you have to use Arduino IDE version 1.8.4 with the Robotics board?
You can’t use version 1.8.5?
You should be able to use 1.8.5 with the Robotics Board.
However, the Touch Board has some very specific needs.
In general the differences between the two versions of the Arduino software are so minor you’d never actually notice a difference.