Build

Auto-Merge pull request #4260 from octo/write_redis #29

Job	Run time
experimental (debian_unstable)	3m 42s
build (debian12)	3m 45s
experimental (fedora_main)	2m 36s
build (debian11)	3m 41s
build (debian10)	3m 52s
build (ubuntu23.10)	3m 34s
build (ubuntu22.04)	3m 35s
build (ubuntu20.04)	3m 54s
build (centos9)	4m 9s
build (fedora39)	2m 59s
build (fedora38)	3m 1s
build (debian12, --enable-debug)	3m 52s
build (debian12, CC=clang CXX=clang++ CFLAGS=-gdwarf-4)	3m 25s
	46m 5s

Provide feedback