Is there already an implementation for castellated holes?

I just posted this STEP file for Arduino Nano_BLE (screenshot below)

No DRC errors