Skip to content

[ci]Stop using images with debian-10 (oldstable)

Carsten Gräser requested to merge dont-use-debian-oldstable into master
  • Use dune:2.8-debian-11-gcc-10-20 for testing against the 2.8 release
  • Use dune:git-ubuntu-20.04-clang-10-20 for testing againt master with clang. This helps to avoid an issue with clang-7 and boost-serilization in debian-10.

Merge request reports

Loading