Skip to content
GitLab
Explore
Sign in
[ci]Update CI toolchains
Code
Review changes
Check out branch
Download
Patches
Plain diff
Carsten Gräser
requested to merge
feature/modernize-ci-toolchain-after-2.9
into
master
Dec 22, 2022
Overview
4
Commits
1
Pipelines
1
Changes
1
Expand
Use images based on debian 11 and debian 10. (Unfortunately there's no up-to date image dune:git-debian-11-clang... yet.)
Test against 2.9 release instead of 2.8
Merge request reports
Loading