Merge branch 'ducc0' into vdot_experiments

4 jobs for vdot_experiments in 17 minutes and 37 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build Docker
passed build_docker #1356283

00:00:13

 
  Testing
passed test_clang #1356285

00:17:10

passed test_gcc #1356284

00:16:43

 
  Release
passed release #1356286

00:00:12