See misc/jenkins/compile_other_versions/run.bat which is executed by build server.
See https://rusefi.com/build_server/