firmware build fails for ROS 2 Humble: build_firmware.sh: line 80: cd: /ws/firmware/mcu_ws: No such file or directory #793

FROM ros:humble-ros-core

ENV ROS_DISTRO=humble
ENV ROS_ROOT=/opt/ros/${ROS_DISTRO}
ENV WS=/ws

SHELL [ "/bin/bash", "-c" ]

RUN apt update \
  && apt install -y --no-install-recommends \
  build-essential \
  git \
  python3-colcon-common-extensions \
  python3-rosdep \
  && apt clean \
  && rm -rf /var/lib/apt/lists/*

RUN rosdep init \
  && rosdep update

RUN source ${ROS_ROOT}/setup.bash \
  && mkdir -p ${WS}/src \
  && cd ${WS} \
  && git clone -b ${ROS_DISTRO} https://github.com/micro-ROS/micro_ros_setup.git src/micro_ros_setup \
  && apt update \
  && rosdep update \
  && rosdep install --from-paths src --ignore-src -y \
  && apt clean \
  && rm -rf /var/lib/apt/lists/*

RUN source ${ROS_ROOT}/setup.bash \
  && cd ${WS} \
  && colcon build

RUN apt update \
  && cd ${WS} \
  && source install/setup.bash \
  && ros2 run micro_ros_setup create_firmware_ws.sh host \
  && ros2 run micro_ros_setup build_firmware.sh \
  && apt clean \
  && rm -rf /var/lib/apt/lists/*

CMD ["bash"]

/ws/install/micro_ros_setup/lib/micro_ros_setup/build_firmware.sh: line 80: cd: /ws/firmware/mcu_ws: No such file or directory