To compile for this core with the Arduino IDE, add the following URL to the boards manager.
https://raw.githubusercontent.com/WeActStudio/ArduinoCore-AT32F4/main/package_at32_index.json