I have the particle Argon board and have found some user claiming to be using it with the Arduino IDE.
Even the Particle documentation is mentioning it:
Particle Arduino Compatability
What is not mention is I actually set up the board with the Arduino IDE.
What “additional boards manager URL” should I use to find the correct board?
Which board should I pick in boards manager?