Release 5.13.0 #261

Job	Run time
lint	22s
lint	22s
build-ubuntu (18)	2m 11s
build-ubuntu (18)	2m 11s
build-ubuntu (20)	2m 22s
build-ubuntu (20)	2m 22s
build-ubuntu (22)	2m 30s
build-ubuntu (22)	2m 30s
test-ee	1m 19s
test-ee	1m 19s
test-ce (18)	1m 53s
test-ce (18)	1m 53s
test-ce-latest-release	0s
test-ce-latest-release	0s
test-lowest-supported-server	1m 35s
test-lowest-supported-server	1m 35s
test-ce (20)	1m 47s
test-ce (20)	1m 47s
test-valgrind (20)	2m 17s
test-valgrind (20)	2m 16s
test-ce (22)	1m 58s
test-ce (22)	1m 58s
	36m 27s

Provide feedback