I tried to create a pull request for the espressif/arduino-esp32 core (PR #4298), but it failed for a missing PlatformIO file in the build:
It’s a weird one, that… it seems like the PlatformIO PR builds broke 13 days ago, but then one passed 12 days ago, and then every one since has failed. Also, two commits made yesterday also failed to pass… but I don’t see any corresponding changes on the platform-espressif32 side, and the file is present in the repo??? It would probably be worth adding debugging on the github action to see if the file really is missing (or is corrupt), or if there is something else going on.
Edit: Then again, the PIO Core is in a state of flux as it looks like it’s going to make a major version jump to 5.0, so there could be something broken there, if the release version isn’t being used.
Sit and wait, then? 
Maybe @ivankravets or @valeros can have a look at why Arduino-ESP32’s automated pull request checks with PlatformIO fail the way they do at Add ArduinoOTE = ArduinoOTA over Ethernet by Miq1 · Pull Request #4298 · espressif/arduino-esp32 · GitHub with sed: can't read /home/runner/.platformio/platforms/espressif32/platform.json: No such file or directory, or whether it’s some kind of error on the github configuration server side.
Thanks for the report! Fixed in
Please restart your CI build.
I am afraid that was not the whole story - the build now is failing at a later stage with
Error: Could not install package ‘platformio/framework-arduinoespressif32 @ ~3.10004.191002’ for ‘linux_x86_64’ system
There is PR for this
The arduino-esp32 maintainers seem to not be very eager to merge pull requests at the moment. The master branch is updated every other week or so. There is a esp32s branch me-no-dev seems to work a lot on, but who knows when that will get merged.
It has been merged recently
Yeah, right! 
Now my CI checks went through successful.
Thank you!
