path: root/Containerfile.ci-x86_64

FROM registry.gitlab.ost.ch:45023/teachos/devcontainers/x86-64:latest

RUN apt update && \
    apt install -y --no-install-recommends clang-tidy cmake grub2-common grub-pc mtools ninja-build xorriso && \
    rm -rf /var/lib/apt/lists/*