diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2024-02-01 09:46:04 -0500 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2024-02-01 12:44:58 -0500 |
| commit | 710c083ff02eb1cc5b8daa6778784f3d1cd3c08d (patch) | |
| tree | f4cbbf9eca8b06f904d3bc58d9450de847becafc /.github/workflows | |
| parent | 76ffc8d30cb1160d55d855d8ac630a2b9075fbcf (diff) | |
| download | bfs-710c083ff02eb1cc5b8daa6778784f3d1cd3c08d.tar.xz | |
bftw: Don't immediately pin open directories
It is undesirable to close a directory that we haven't read yet to free
up cache capacity, but it's worse to fail to open the next directory
because too many upcoming directories are pinned. This could happen
when sorting, because then we can't prioritize the already-opened ones.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions