Well looking at
there is no SCK pin created, unlike other variants like the esp32dev
So it looks like an Arduino core bug to me.
In any case, to satisfy the compilation, you are not running into that piece of code anyways (arduino-esp32/libraries/SPI/src/SPI.cpp at 33011ede3004276b14a46d4b010658b211540bd1 · espressif/arduino-esp32 · GitHub) so you might as well just add some defaults
build_flags =
-DSS=5
-DMOSI=23
-DMISO=19
-DSCK=18
to the platformio.ini.