Skip to content

[CI] Update CI

Carsten Gräser requested to merge update-ci into master

The image dune:git-debian-11-gcc-9-20 is no longer provided. Use dune:git-debian-11-gcc-10-20 instead.

Merge request reports