We cannot directly push on master. We have to create a pull request. The CI is adapted to push a new branch. The PR has to be created manually. |
||
---|---|---|
.. | ||
build_projects.py | ||
build_release_nightly.py | ||
common.py | ||
compile_all_deps.py | ||
ensure_base_deps.py | ||
upload_failure_logs.sh |