switch to docker registry in dune-project.org

9 jobs for issue/replace-debian-11-toolchains in 6 minutes and 52 seconds (queued for 8 seconds)
latest
Status Job ID Name Coverage
  Test
passed #176493
duneci
debian:10 clang-7-libcpp-17

00:01:47

passed #176491
duneci
debian:10 gcc-7-17

00:02:58

passed #176496
iset:avx duneci
debian:10 gcc-7-17--expensive

00:06:51

passed #176490
duneci
debian:10 gcc-8-noassert-17

00:03:44

passed #176489
duneci
debian:11 gcc-9-20

00:03:44

passed #176497
duneci
ubuntu-20.04-gcc-9-17-python

00:03:46

passed #176495
duneci
ubuntu:18.04 clang-5-17

00:01:50

passed #176494
duneci
ubuntu:18.04 clang-6-17

00:02:50

passed #176492
duneci
ubuntu:20.04 clang-10-20

00:02:56