@Ghibli_69 Same problem for this driver installation that failed. But down the list, I noticed, a more recent version of the digistump driver was successfully installed.
I was able to upload a code on my board just by following instructions above, and even with this driver error.
However, I spent many hours searching if there was a way to use a virtual com port to communicate with the computer, but I didn't find anything working.
This board works great but it's difficult to debug without sending messages with a serial interface.