Update GitHub workflows

[cmsis] / .devcontainer / ubuntu-22.04 / Dockerfile

FROM  --platform=linux/amd64 ubuntu:22.04

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

ARG DEBIAN_FRONTEND=noninteractive 

RUN apt-get update && \
    apt-get -y install \
        build-essential \
        curl \
        gdb \
        less \
        python3 \
        python3-pip \
        python-is-python3 \
        git \
        libtinfo5 \
        llvm-15-tools \
        unzip && \
    ln -s /usr/bin/FileCheck-15 /usr/bin/FileCheck

RUN pip install \
        lit \
        python-matrix-runner

RUN bash -c "$(curl -fsSL https://raw.githubusercontent.com/ohmybash/oh-my-bash/master/tools/install.sh)" && \
    sed -i 's/OSH_THEME="font"/OSH_THEME="powerline"/' ~/.bashrc

ADD vcpkg-configuration.json /root/

RUN pushd /root && \
    . <(curl https://aka.ms/vcpkg-init.sh -L) && \
    echo "\n# Initialize vcpkg\n. /root/.vcpkg/vcpkg-init" >> .bashrc && \
    vcpkg x-update-registry --all && \
    vcpkg activate

CMD ["/bin/bash"]