Fix issues with reproduce_ci_env.py
Recent changes to the CI configuration were incompatible with the
reproduce_ci_env.py
script. These changes make it possible to
locally run CI docker instances.
Recent changes to the CI configuration were incompatible with the
reproduce_ci_env.py
script. These changes make it possible to
locally run CI docker instances.