Fix a bug causing empty `summary` reports #1565

Job	Run time
Check if generated files are up to date	42s
Lint and Docs	4m 8s
Test in Alpine Linux	5m 54s
Valgrind & Helgrind	6m 9s
Test with coverage	4m 21s
	21m 14s

Provide feedback