diff options
| author | eldritch horrors <pennae@lix.systems> | 2024-03-04 04:08:28 +0100 |
|---|---|---|
| committer | eldritch horrors <pennae@lix.systems> | 2024-03-04 04:36:47 +0100 |
| commit | 6feba520085c78f105cc9ebce4f81ed8cdaed085 (patch) | |
| tree | c78c1f44f9ca32292828f419407961e0cf8e6251 /doc/manual | |
| parent | fd1299cef399ec0c33e2b7416c63d78553dc3ced (diff) | |
Merge pull request #8895 from hercules-ci/gc-before-stats
eval: Run a full GC before printing stats
(cherry picked from commit aeea49609be014b1928c95b7ec28dbedeb4f032a)
Change-Id: I47a23d3a7a47ea61d9a2b5727b638f879f3aaf1e
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions