The campaign page says you can use the Arduino ide but all I can see in the documentation is using linux or for the esp32 using esspresifs tool....
Separate names with a comma.