diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-12 16:45:58 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-02-12 16:45:58 +0000 |
commit | cf44953210cbfe189043417690fabd0037a6e74e (patch) | |
tree | 357232094eb1bc5a98362fb6ec2d6d65160573be /docs/dev | |
parent | 777d936c17631dfc32a37bd919e45597b83349e4 (diff) | |
parent | 8c196056d5d51b0c7395eab399f548fc38b9573b (diff) |
Merge #7652
7652: Fix slow tests sometimes failing r=flodiebold a=flodiebold
In some situations we reloaded the workspace in the tests after having reported
to be ready. There's two fixes here:
1. Add a version to the VFS config and include that version in progress reports,
so that we don't think we're done prematurely;
2. Delay status transitions until after changes are applied. Otherwise the last
change during loading can potentially trigger a workspace reload, if it contains
interesting changes.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions