At the moment there is no ping library in the Arduino framework for ESP32.

pbecchi ported one from ESP8266 that can be used on the ESP32. Code and example can be found on his Github repo. Another code example from bill-orange is inside the issue comments.