Commit 419f4561 authored 5 months ago by Carsten Gräser

[CI][bugfix] Fix CI config

* Use 2.10 image for 2.10 gcc job
* Remove 2.10 clang job, because there's no recent enough compiler
* Stop using outdated `dune:git-*` images

parent 4d903de2

No related branches found

No related tags found

1 merge request!83[CI][bugfix] Fix CI config

Pipeline #65684 passed 5 months ago