Build pipeline is broken

Problem: The build fails since the dependent branch idf-release/v4.0 in https://github.com/espressif/arduino-esp32.git in

Line 18 in 7639e75

    
           platform_packages = framework-arduinoespressif32 @ https://github.com/espressif/arduino-esp32.git#idf-release/v4.0

has been delete.

Temporary fix: I was able to get fetch the branch through a closed PR: espressif/arduino-esp32#3670
and temporarly serve this files from https://github.com/andreaskuster/arduino-esp32.git#idf-release/v4.0

Provide feedback