aboutsummaryrefslogtreecommitdiff
path: root/docs/dev
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2021-02-12 16:45:58 +0000
committerGitHub <[email protected]>2021-02-12 16:45:58 +0000
commitcf44953210cbfe189043417690fabd0037a6e74e (patch)
tree357232094eb1bc5a98362fb6ec2d6d65160573be /docs/dev
parent777d936c17631dfc32a37bd919e45597b83349e4 (diff)
parent8c196056d5d51b0c7395eab399f548fc38b9573b (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