Merge remote-tracking branch 'origin/ducc0' into quaternions

4 jobs for quaternions in 13 minutes and 14 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build Docker
passed #1105586
build_docker

00:00:17

 
  Testing
passed #1105588
test_clang

00:12:04

passed #1105587
test_gcc

00:12:41

 
  Build Tarballs
passed #1105589
release

00:00:15