diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-04-10 09:55:53 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-04-10 08:48:25 +0000 |
| commit | bb5e6c0f355e952e91e8aef0ffb51b7b153b2e25 (patch) | |
| tree | 6f55f9d917850bdb81c53466bc4c5ba136292b92 /docs/linux/setup_linux-host_isolated.md | |
| parent | 171ec3714ee4886a3f5ecbfe71f63c8f81c7fd7c (diff) | |
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.
Diffstat (limited to 'docs/linux/setup_linux-host_isolated.md')
0 files changed, 0 insertions, 0 deletions