summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-03-30 11:23:21 +0200
committerFelix Morgner <felix.morgner@ost.ch>2026-03-30 11:23:21 +0200
commit72708631dafb093e66b9caf893ed8ac6c147694c (patch)
tree881d1f24f1183cd75c0a551ec43900645531ae3b
parent51911144eb62a276017ca0fa03592be1551c7ae8 (diff)
downloadteachos-toolchain-main.tar.xz
teachos-toolchain-main.zip
containers: add specific CI container imagesHEADmain
-rw-r--r--Containerfile.ci-bht5
-rw-r--r--Containerfile.ci-x86_645
2 files changed, 10 insertions, 0 deletions
diff --git a/Containerfile.ci-bht b/Containerfile.ci-bht
new file mode 100644
index 0000000..b96e401
--- /dev/null
+++ b/Containerfile.ci-bht
@@ -0,0 +1,5 @@
+FROM docker.io/library/ubuntu:questing
+
+RUN apt update && \
+ apt install -y --no-install-recommends build-essential cmake gcovr ninja-build lcov libcatch2-dev && \
+ rm -rf /var/lib/apt/lists/*
diff --git a/Containerfile.ci-x86_64 b/Containerfile.ci-x86_64
new file mode 100644
index 0000000..1fde8ea
--- /dev/null
+++ b/Containerfile.ci-x86_64
@@ -0,0 +1,5 @@
+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/*