syz-ci: flush coverage report generator

Flush manager coverage report generator after requesting JSONL report.
We won't use coverage reports after this point, but it consumes gigs of RAM.

1 files changed, 4 insertions, 1 deletions

diff --git a/syz-ci/manager.go b/syz-ci/manager.go
index 542d3950e..38fcc4a77 100644
--- a/syz-ci/manager.go
+++ b/syz-ci/manager.go
@@ -877,7 +877,10 @@ func (mgr *Manager) uploadCoverStat(fuzzingMinutes int) error {
 	}
 	defer buildSem.Signal()
 
-	resp, err := mgr.httpGET("/cover?jsonl=1")
+	// Coverage report generation consumes and caches lots of memory.
+	// In the syz-ci context report generation won't be used after this point,
+	// so tell manager to flush report generator.
+	resp, err := mgr.httpGET("/cover?jsonl=1&flush=1")
 	if err != nil {
 		return fmt.Errorf("failed to httpGet /cover?jsonl=1 report: %w", err)
 	}