diff options
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1c1548b..f2cfd1d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -6,10 +6,10 @@ build: stage: build - image: registry.gitlab.ost.ch:45023/teachos/devcontainers/x86-64:15.2.0-1 + image: registry.gitlab.ost.ch:45023/teachos/devcontainers/x86-64:15.2.0-3 before_script: - apt update - - apt install -y cmake grub2-common grub-pc mtools ninja-build xorriso + - apt install -y clang-tidy-21 cmake grub2-common grub-pc mtools ninja-build xorriso script: - cmake --preset $PLATFORM - cmake --build --preset $PLATFORM-$TYPE |