See [here](https://github.com/Arduino-CI/arduino_ci/pull/306#discussion_r715152699) for the background.