See merge request !796 (merged)
(cherry picked from commit f2de2d24)
bcde71fe ci: rename staging CI jobs/rules bef2f0d4 scripts: update arguments in render script 389ed340 build.py: update argument names 6c7b99d0 docs: refer to staging instead of proposed