Skip to content

[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

Merge request reports

Loading