Merge pull request #704 from argilo/dot-prod-16i-tol #780

Job	Run time
Build on ubuntu-20.04 g++-7	1m 42s
Build on ubuntu-20.04 g++-8	54s
build-macos	2m 32s
Build on ubuntu-latest g++-9	1m 11s
Build on ubuntu-latest g++-10	58s
Build on ubuntu-20.04 clang-7	1m 35s
Build on ubuntu-20.04 clang-8	1m 4s
Build on ubuntu20.04 aarch64 g++-8	7m 23s
Build on ubuntu-20.04 clang-9	1m 5s
Build on ubuntu20.04 aarch64 g++-9	8m 42s
Build on ubuntu-20.04 clang-10	59s
Build on ubuntu20.04 aarch64 g++-10	7m 57s
Build on ubuntu-20.04 clang-11	57s
Build on ubuntu22.04 aarch64 g++-12	8m 11s
Build on ubuntu-latest clang-12	57s
Build on ubuntu20.04 aarch64 clang-9	11m 16s
Build on ubuntu-latest clang-13	58s
Build on ubuntu20.04 aarch64 clang-10	11m 23s
Build on ubuntu-latest clang-14	1m 0s
Build on ubuntu22.04 aarch64 clang-14	11m 2s
Build on ubuntu22.04 armv7 g++-12	7m 53s
Build on ubuntu22.04 ppc64le g++-12	8m 40s
Build static on ubuntu-latest	1m 3s
Build on ubuntu22.04 s390x g++-12	5m 51s
build-windows	2m 52s
Build on ubuntu22.04 riscv64 g++-12	6m 33s
	1h 54m 38s

Provide feedback